4036 search results - page 647 / 808 » Formal Methods |
194
click to vote
AAMAS
1999
Springer
15 years 6 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
204
click to vote
JNW
2008
15 years 4 months ago
2008
The article proposes a simple, scalable and robust scheme for the distribution of revocation information in mobile ad hoc networks (MANETs). The scheme is intended for ad hoc netwo...
149
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
187
click to vote
SCP
2010
15 years 4 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
165
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...