7640 search results - page 177 / 1528 » Event Database Processing |
107
click to vote
IJCNLP
2004
Springer
15 years 8 months ago
2004
Springer
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
133
click to vote
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
101
click to vote
WSC
2007
15 years 5 months ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
140
click to vote
ENTCS
2006
15 years 3 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
110
click to vote
ENTCS
2006
15 years 3 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...