5480 search results - page 714 / 1096 » Communicating with Synchronized Environments |
204
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
192
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
165
click to vote
EMSOFT
2004
Springer
16 years 6 days ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
224
click to vote
MIDDLEWARE
2004
Springer
16 years 5 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
161
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...