14190 search results - page 2476 / 2838 » Abstractions for hybrid systems |
180
click to vote
CRYPTO
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
193
click to vote
ECAI
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
210
click to vote
ECAI
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Scheduling meetings is generally difficult in that it attempts to satisfy the preferences of all participants. However, all participants can agree to a schedule in which...
201
click to vote
SIGMOD
2010
ACM
15 years 12 months ago
2010
ACM
We will demonstrate our system, called V iStream, supporting interactive visual exploration of neighbor-based patterns [7] in data streams. V istream does not only apply innovativ...
224
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...