6581 search results - page 176 / 1317 » Formalizing Design Patterns |
156
Voted
ANTSW
2010
Springer
15 years 1 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...
DAC
1998
ACM
16 years 4 months ago
1998
ACM
123
Voted
ESSOS
2010
Springer
16 years 10 days 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...
148
Voted
SEFM
2007
IEEE
15 years 9 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...