2637 search results - page 169 / 528 » Tool Supported Specification and Simulation of Distributed S... |
163
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
147
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
176
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
The field of human-computer interaction has been widely investigated in the last years, resulting in a variety of systems used in different application fields like virtual reality...
128
click to vote
EDUTAINMENT
2009
Springer
15 years 11 months ago
2009
Springer
Serious games are becoming a powerful tool in education. However, there are still open issues needing further research to generalize the use of videogames and game-like simulations...
126
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Efficient support of multicast traffic in Storage Area Networks (SANs) enables applications such as remote data replication and distributed multimedia systems, in which a ser...