1398 search results - page 215 / 280 » Ensuring Properties of Interaction Systems |
162
click to vote
TASE
2009
IEEE
16 years 28 days ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
156
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
130
Voted
HAPTICS
2008
IEEE
16 years 19 days ago
2008
IEEE
If you have multiple objects in your pocket, some are easy to find among the other ones, for instance, when they differ much in material properties or shape. Information on which...
156
click to vote
CEC
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
154
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...