12981 search results - page 2162 / 2597 » Model Checking (Abstract) |
188
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
161
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
210
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
170
click to vote
SIGCOMM
2004
ACM
15 years 11 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
185
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...