4212 search results - page 501 / 843 » Rights Expression Languages |
151
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
195
Voted
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
138
click to vote
WMTE
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper proposes a computer supported ubiquitous learning environment for language learning. Especially, this paper describes context awar...
203
click to vote
EEE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
155
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...