13397 search results - page 323 / 2680 » From Static Distributed Systems to Dynamic Systems |
123
click to vote
MMMACNS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
121
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
From a system's perspective as opposed to an individual agent perspective, MAS adaptation is now becoming an important topic, since it can help to obtain expected outcomes ...
152
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
128
click to vote
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
142
click to vote
PADL
2012
Springer
14 years 2 days ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...