1888 search results - page 357 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
149
click to vote
JIPS
2007
15 years 2 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...
217
click to vote
ICTAC
2010
Springer
15 years 27 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
146
Voted
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
138
click to vote
AI
2007
Springer
15 years 2 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
137
click to vote
ASPLOS
1987
ACM
15 years 5 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...