1188 search results - page 30 / 238 » Testing Semantics: Connecting Processes and Process Logics |
127
click to vote
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
104
click to vote
WEBI
2007
Springer
15 years 8 months ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
118
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
104
click to vote
JOLLI
2002
15 years 1 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
133
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...