3676 search results - page 433 / 736 » Scalable component abstractions |
198
Voted
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
174
click to vote
MATA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
158
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Between high-performance clusters and grids appears an intermediate infrastructure called cluster grid that corresponds to the interconnection of clusters through the Int...
211
click to vote
SSD
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
155
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...