2123 search results - page 363 / 425 » Composition of Cyber-Physical Systems |
127
Voted
PODS
2008
ACM
16 years 25 days ago
2008
ACM
We study complexity and approximation of queries in an expressive query language for probabilistic databases. The language studied supports the compositional use of confidence com...
113
Voted
ICSE
2004
IEEE-ACM
16 years 24 days ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
109
click to vote
ICFP
2001
ACM
16 years 20 days ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
98
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...