Sciweavers

3119 search results - page 215 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
ICRA
2010
IEEE
66views Robotics» more  ICRA 2010»
15 years 2 months ago
Strength analysis of miniature folded right angle tetrahedron chain Programmable Matter
Abstract— Miniaturization of Programmable Matter is a major challenge. Much of the difficulty stems from size and power requirements of internal actuators. This paper demonstrat...
Paul J. White, Michael L. Posner, Mark Yim
121
Voted
ESORICS
2005
Springer
15 years 9 months ago
On Scalability and Modularisation in the Modelling of Network Security Systems
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
João Porto de Albuquerque, Heiko Krumm, Pau...
RECOMB
2005
Springer
16 years 4 months ago
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
David L. Dill, Merrill Knapp, Pamela Gage, Carolyn...
128
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 10 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
125
Voted
IROS
2006
IEEE
141views Robotics» more  IROS 2006»
15 years 9 months ago
Experimental Analysis of Overhead Data Processing To Support Long Range Navigation
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
David Silver, Boris Sofman, Nicolas Vandapel, J. A...