7393 search results - page 1082 / 1479 » Synthesis-for-testability using transformations |
248
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of a system that executes complex event queries over real-time streams of RFID readings encoded as events. The...
240
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
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 ...
171
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We are inevitably moving into a realm where small and inexpensive wireless devices would be seamlessly embedded in the physical world and form a wireless sensor network in order t...
124
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
114
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
VieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and perfo...