1499 search results - page 260 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
162
click to vote
WSC
2008
15 years 8 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
152
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
True multi-user, multimodal interaction over a digital table lets co-located people simultaneously gesture and speak commands to control an application. We explore this design spa...
167
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
161
click to vote
WICSA
2004
15 years 7 months ago
2004
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existi...
198
click to vote
PUK
2003
15 years 7 months ago
2003
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...