592 search results - page 104 / 119 » Can Component Service-Based Systems Be Proved Correct |
COLING
2002
13 years 8 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...