1581 search results - page 192 / 317 » Domain semantics of possibility computations |
93
Voted
AMR
2007
Springer
15 years 7 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
103
Voted
CONCURRENCY
2008
15 years 25 days ago
2008
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
104
Voted
SOUPS
2006
ACM
15 years 6 months ago
2006
ACM
Phishing emails are semantic attacks that con people into divulging sensitive information using techniques to make the user believe that information is being requested by a legiti...
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Pipeline flushes are becoming increasingly expensive in modern microprocessors with large instruction windows and deep pipelines. Selective re-execution is a technique that can r...