29172 search results - page 205 / 5835 » Modeling Systems in CLP |
160
click to vote
IFIP11
2004
15 years 7 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
177
click to vote
ICMAS
1998
15 years 7 months ago
1998
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
142
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
184
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
149
Voted
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...