4418 search results - page 244 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
168
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
157
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Patching is a critical security service that keeps computer systems up to date and defends against security threats. Existing patching systems all require running systems. With th...
171
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
179
click to vote
MEMOCODE
2007
IEEE
16 years 25 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
232
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...