1707 search results - page 58 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
183
click to vote
FMICS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
158
click to vote
CLUSTER
2003
IEEE
15 years 11 months ago
2003
IEEE
GridRM is an open and extensible resource monitoring system, based on the Global Grid Forum's Grid Monitoring Architecture (GMA). GridRM is not intended to interact with appl...
156
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
We describe the query and data processing language QUOGGLES which is particularly designed for the application on graphs. It uses a pipeline-like technique known from command line ...
125
click to vote
CGVR
2006
15 years 7 months ago
2006
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
145
click to vote
MODELS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...