14348 search results - page 2544 / 2870 » Active Database Systems |
165
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
156
click to vote
NPAR
2004
ACM
15 years 11 months ago
2004
ACM
We present a paint model for use in interactive painting systems that captures a wide range of styles similar to oils or acrylics. The model includes both a numerical simulation t...
147
click to vote
WS
2004
ACM
15 years 11 months ago
2004
ACM
Many studies on measurement and characterization of wireless LANs (WLANs) have been performed recently. Most of these measurements have been conducted from the wired portion of th...
159
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
147
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...