7202 search results - page 1226 / 1441 » Software System Engineering: A Tutorial |
185
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
162
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
168
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
155
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
173
click to vote
FSTTCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...