5536 search results - page 916 / 1108 » Programming Languages for Distributed Applications |
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
145
click to vote
MHCI
2009
Springer
15 years 7 months ago
2009
Springer
Mobile devices such as the iPhone provide state of the art interaction capabilities also for web browser applications. Our mobile development is targeted to a Energy Awareness app...
IV
2008
IEEE
15 years 7 months ago
2008
IEEE
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
121
click to vote
PRIMA
2007
Springer
15 years 7 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
137
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...