7124 search results - page 1170 / 1425 » Programming Languages and Operating Systems |
125
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
171
Voted
MA
1999
Springer
15 years 8 months ago
1999
Springer
Many real-world tasks can be decomposed into pipelines of sequential operations (where subtasks may themselves be composed of one or more pipelines). JGram is a framework enabling...
134
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
124
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
129
Voted
LOGCOM
2007
15 years 3 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...