125 search results - page 11 / 25 » Verifying Model Oriented Specifications through Animation |
WSC
2000
13 years 8 months ago
2000
In this work we want to show the importance of visualization, interfaces and re-design techniques through 3D modeling, animations and VRML in the developing of the simulation game...
IEEESCC
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
CAS
2004
13 years 6 months ago
2004
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...