12551 search results - page 2126 / 2511 » Reuse in Systems Engineering |
204
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
197
click to vote
INEX
2004
Springer
16 years 7 days ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
178
Voted
MABS
2004
Springer
16 years 7 days ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
164
click to vote
MABS
2004
Springer
16 years 7 days ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
171
Voted
POLICY
2004
Springer
16 years 6 days ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...