2662 search results - page 78 / 533 » Tools Demonstrations |
131
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
115
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
151
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
112
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents the evolution of a tool to support the rapid prototyping of hybrid museum experiences by domain professionals. The developed tool uses visual markers to associ...
139
click to vote
VIZSEC
2007
Springer
15 years 10 months ago
2007
Springer
Monitoring host behavior in a network is one of the most essential tasks in the fields of network monitoring and security since more and more malicious code in the wild internet c...