3972 search results - page 336 / 795 » Palpability Support Demonstrated |
134
click to vote
ITP
2010
15 years 7 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
160
click to vote
DEBS
2009
ACM
15 years 7 months ago
2009
ACM
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...
128
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
120
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
113
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...