1961 search results - page 143 / 393 » PicoDBMS: Validation and Experience |
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
CGI
2004
IEEE
15 years 2 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
NSDI
2008
15 years 1 months ago
2008
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
WSC
2008
15 years 1 months ago
2008
A team's task process consists of allocation, processing and evaluation of a series of tasks. Team effectiveness emerges from interactions among team members. The interaction...
122
Voted
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...