Sciweavers

1459 search results - page 54 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
ICFEM
1997
Springer
15 years 4 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
IJAMC
2008
99views more  IJAMC 2008»
14 years 12 months ago
Improving Educational Multimedia selection process using group decision support systems
Educational Multimedia (EMM) is becoming a mature and integral part of teaching and learning systems, mainly due to its ability improve teaching and learning. However, EMM selecti...
Mohammed N. A. Abdelhakim, Shervin Shirmohammadi
SIGADA
1999
Springer
15 years 4 months ago
Building Tcl-Tk GUIs for HRT-HOOD systems
This work explores Tcl-Tk 8.0 as a tool to easily build script based GUIs for Ada95 realtime systems. Tcl-Tk 8.0 is a library that makes graphic programming easier, but it suffers...
Juan Carlos Díaz Martín, Isidro Iral...
EDOC
2008
IEEE
15 years 1 months ago
Model-Driven Development of a Mediation Service
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...
Dick A. C. Quartel, Stanislav Pokraev, Rodrigo Man...
CORR
2010
Springer
167views Education» more  CORR 2010»
14 years 12 months ago
Development of a Context Aware Virtual Smart Home Simulator
Context awareness is the most important research area in ubiquitous computing. In particular, for smart home, context awareness attempts to bring the best services to the home hab...
Tam Van Nguyen, Huy Anh Nguyen, Deokjai Choi