6581 search results - page 176 / 1317 » Formalizing Design Patterns |
186
click to vote
ANTSW
2010
Springer
15 years 3 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
90
Voted
DAC
1998
ACM
16 years 6 months ago
1998
ACM
136
Voted
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
167
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...