3828 search results - page 453 / 766 » Proof-Based System Engineering Using a Virtual System Model |
233
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
193
Voted
ICSM
2005
IEEE
16 years 13 days ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
155
click to vote
ITRUST
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems in particular. The fo...
176
click to vote
SIMULATION
1998
15 years 6 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
174
click to vote
VRML
2009
ACM
16 years 1 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...