3384 search results - page 307 / 677 » More Testable Properties |
168
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
184
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
166
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a new connection management architecture for clustered Internet services called Active Connection Management (ACM) to improve the availability, quality of service, and ...
182
Voted
BICOB
2010
Springer
15 years 11 months ago
2010
Springer
Molecular dynamics simulations have been employed by biologists to study the protein folding problem. Such simulations have resulted in a large number of protein folding trajector...
176
click to vote
CIA
2001
Springer
15 years 11 months ago
2001
Springer
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation, task assignment and last but not leas...