2106 search results - page 27 / 422 » Operational Semantics for DyLPs |
120
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
USS
2008
15 years 4 months ago
2008
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
112
click to vote
ISTA
2008
15 years 3 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
136
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
103
click to vote
IWC
1998
15 years 1 months ago
1998
An experiment was carried out to estimate the effect of auditory alarms on the work of an plant operator in the context of a computer simulation. We designed our process simulator...