1878 search results - page 141 / 376 » The Vienna Abstract Machine |
123
Voted
PTS
2007
15 years 5 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
116
Voted
PTS
2007
15 years 5 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
132
click to vote
EMNLP
2006
15 years 5 months ago
2006
This paper presents a method of automatically constructing information extraction patterns on predicate-argument structures (PASs) obtained by full parsing from a smaller training...
134
Voted
DAGSTUHL
1994
15 years 5 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
140
Voted
DIMVA
2009
15 years 4 months ago
2009
Abstract. The Asprox infection weaves a complex chain of dependencies involving bots that perform SQL injections on vulnerable web servers, and visitors whose machines get compromi...