19 search results - page 4 / 4 » A System for Seamless Abstraction Layers for Model-based Dev... |
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
DATE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
RTCSA
1999
IEEE
13 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
EUC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...