Sciweavers

239 search results - page 46 / 48
» A High-Level Language for Specifying XML Data Transformation...
Sort
View
DMSN
2008
ACM
13 years 11 months ago
Stream-based macro-programming of wireless sensor, actuator network applications with SOSNA
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...
Marcin Karpinski, Vinny Cahill
SIGMOD
2005
ACM
140views Database» more  SIGMOD 2005»
14 years 10 months ago
Artemis message exchange framework: semantic interoperability of exchanged messages in the healthcare domain
One of the most challenging problems in the healthcare domain is providing interoperability among healthcare information systems. In order to address this problem, we propose the ...
Veli Bicer, Gokce Laleci, Asuman Dogac, Yildiray K...
ISCI
2008
108views more  ISCI 2008»
13 years 9 months ago
Modeling and manipulating the structure of hierarchical schemas for the web
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...
Theodore Dalamagas, Alexandra Meliou, Timos K. Sel...
WWW
2004
ACM
14 years 10 months ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su
FMICS
2008
Springer
13 years 11 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...