212 search results - page 8 / 43 » Describing and Verifying Integrated Services of Home Network... |
WECWIS
2003
IEEE
13 years 12 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
SIGMOD
2007
ACM
14 years 6 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
DATE
2004
IEEE
13 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
DELTA
2006
IEEE
14 years 23 days ago
2006
IEEE
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...