5269 search results - page 904 / 1054 » order 2007 |
205
click to vote
AIA
2006
15 years 8 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
171
click to vote
BDA
2006
15 years 8 months ago
2006
XML data projection (or pruning) is one of the main optimization techniques recently adopted in the context of main-memory XML query-engines. The underlying idea is quite simple: ...
171
click to vote
CRIWG
2004
15 years 8 months ago
2004
This paper introduces AORTA, a software architecture that provides object-level coordination and shared workspace awareness support to synchronous and distributed collaborative app...
170
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- Although Internet serves many contents and services, it has serious problems of security: the invasion of privacy, hacking and etc. To prevent these problems, two implementations...
170
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...