1188 search results - page 82 / 238 » Testing Semantics: Connecting Processes and Process Logics |
135
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
174
click to vote
FLAIRS
2009
15 years 1 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
136
click to vote
TSD
2005
Springer
15 years 9 months ago
2005
Springer
Malapropisms are real-word errors that lead to syntactically correct but semantically implausible text. We report an experiment on detection and correction of Spanish malapropisms....
169
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
165
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...