Sciweavers

1939 search results - page 139 / 388
» Dynamic Lex Constraints
Sort
View
IIWAS
2008
15 years 5 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
151
Voted
AAAI
2000
15 years 5 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
AICOM
1999
116views more  AICOM 1999»
15 years 3 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
CMOT
1999
105views more  CMOT 1999»
15 years 3 months ago
Friendship Networks Through Time: An Actor-Oriented Dynamic Statistical Network Model
We propose a class of actor-oriented statistical models for closed social networks in general, and friendship networks in particular. The models are random utility models develope...
Gerhard G. Van De Bunt, Marijtje A. J. Van Duijn, ...
GECCO
2007
Springer
209views Optimization» more  GECCO 2007»
15 years 10 months ago
An online implementable differential evolution tuned optimal guidance law
This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engag...
Raghunathan Thangavelu, S. Pradeep