5096 search results - page 259 / 1020 » Associations as a Language Construct |
198
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
191
click to vote
HEURISTICS
2010
15 years 2 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
184
click to vote
POLICY
2005
Springer
16 years 22 days ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
184
click to vote
UML
2005
Springer
16 years 22 days ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
209
click to vote
DALT
2004
Springer
16 years 19 days ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...