年別の研究成果
年別の研究成果
検索結果
-
2020
Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B
Ishikawa, F., Kobayashi, T. & Honiden, S., 2020 1月 1, Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings. Springer Singapore, p. 309-330 22 p.研究成果: Chapter
-
2010
Data management solutions in networked sensing systems
Gürgen, L., Roncancio, C., Labbé, C. & Honiden, S., 2010, Wireless Sensor Network Technologies for the Information Explosion Era. Hara, T., Buchmann, E. & Zadorozhny, V. (eds.). p. 111-137 27 p. (Studies in Computational Intelligence; vol. 278).研究成果: Chapter
-
XAC project: Towards a middleware for open wireless sensor networks
Tei, K., Suenaga, S., Nakamura, Y., Sei, Y., Nakazato, H., Kaneki, Y., Yoshioka, N., Fukazawa, Y. & Honiden, S., 2010, Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends. IGI Global, p. 214-231 18 p.研究成果: Chapter
-
2006
An algorithm to reduce the communication traffic for multi-word searches in a distributed hash table
Sei, Y., Matsuzaki, K. & Honiden, S., 2006, Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006: IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago Chile. Navarro, G., Bertossi, L. & Kohayakawa, Y. (eds.). p. 115-129 15 p. (IFIP International Federation for Information Processing; vol. 209).研究成果: Chapter
-
2004
A pattern oriented mobile agent framework for mobile computing
Yoshioka, N. & Honiden, S., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Karmouch, A., Korba, L. & Madeira, E. R. M. (eds.). Springer Verlag, p. 369-380 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3284).研究成果: Chapter
-
2003
A formal model of active contents based on the ambient calculus
Tahara, Y., Yoshioka, N. & Honiden, S., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Horlait, E., Magedanz, T. & Glitho, R. H. (eds.). Springer Verlag, p. 132-141 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2881).研究成果: Chapter
4 被引用数 (Scopus)