796 search results - page 76 / 160 » Situation-Aware Community Computing Model for Developing Dyn... |
SAC
2006
ACM
14 years 1 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
WSC
2000
13 years 9 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
FUIN
2006
13 years 7 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
HAPTICS
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper describes development of a wind display system for the TreadPort virtual environment locomotion interface, which is cumulatively known as the TreadPort Active Wind Tunn...
PERVASIVE
2007
Springer
14 years 1 months ago
2007
Springer
Mobile devices make ideal personal ambient information systems given their ubiquitous adoption by users and their rich context knowledge of users’ activity. However, we believe ...