6171 search results - page 73 / 1235 » The FrameNet Data and Software |
178
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
120
Voted
AIS
2006
Springer
15 years 2 months ago
2006
Springer
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
109
click to vote
ICST
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
128
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
