1643 search results - page 187 / 329 » Consistability: Describing Usually Consistent Systems |
ICFEM
1997
Springer
15 years 2 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
GRID
2006
Springer
14 years 10 months ago
2006
Springer
Abstract-- Sharing data among collaborators in widely distributed systems remains a challenge due to limitations with existing methods for defining groups across administrative dom...
136
click to vote
FASE
2008
Springer
15 years 9 days ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
OSDI
2006
ACM
15 years 10 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
100
click to vote
ICTAC
2009
Springer
14 years 8 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...