1027 search results - page 114 / 206 » Developing context-aware pervasive computing applications: M... |
SPIN
2007
Springer
14 years 3 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...
SAC
1998
ACM
14 years 18 days ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
GC
2004
Springer
14 years 2 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
DCOSS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...