Sciweavers

1642 search results - page 188 / 329
» Systemic Service Design: Aligning Value and Implementation
Sort
View
ICSE
2008
IEEE-ACM
16 years 5 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
RTCSA
2005
IEEE
15 years 10 months ago
Research Issues in the Development of Context-Aware Middleware Architectures
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
Hung Quoc Ngo, Anjum Shehzad, Kim Anh Pham Ngoc, S...
RSP
2000
IEEE
100views Control Systems» more  RSP 2000»
15 years 8 months ago
A Hardware Virtual Machine for the Networked Reconfiguration
Networked reconfiguration is an enabling technology for cost effective service deployment and maintenance. A hardware virtual machine to enable this networked reconfigurapresented...
Yajun Ha, Patrick Schaumont, Marc Engels, Serge Ve...
SAC
2006
ACM
15 years 4 months ago
Towards reliable OSGi framework and applications
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...
Heejune Ahn, Hyukjun Oh, Chang Oan Sung
JMS
2007
151views more  JMS 2007»
15 years 4 months ago
Wireless Body Sensor Network Using Medical Implant Band
A wireless body sensor network hardware has been designed and implemented based on MICS (Medical Implant Communication Service) band. The MICS band offers the advantage of miniatur...
Mehmet R. Yuce, Steven W. P. Ng, Naung L. Myo, Jam...