10038 search results - page 1530 / 2008 » Model Checking for Managers |
175
click to vote
WMTE
2002
IEEE
15 years 11 months ago
2002
IEEE
Our research aims at defining models and software tools in order to provide learners with a training memory. This memory is a computer-based space where a learner can organize and...
162
click to vote
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
159
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
163
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
155
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...