1342 search results - page 56 / 269 » Ordered Programs as Abductive Systems |
AUIC
2006
IEEE
14 years 2 months ago
2006
IEEE
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
ICNC
2005
Springer
14 years 2 months ago
2005
Springer
The DARPA/MIT Lincoln Laboratory off-line intrusion detection evaluation data set is the most widely used public benchmark for testing intrusion detection systems. But the presence...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
LCPC
1993
Springer
14 years 24 days ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...