Sciweavers

1060 search results - page 47 / 212
» Mechanized semantics
Sort
View
JAVA
1999
Springer
15 years 2 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
BPM
2006
Springer
93views Business» more  BPM 2006»
15 years 1 months ago
Semi-automatic Semantic-Based Web Service Classification
With the expectable growth of the number of Web services available on the WWW and service repositories, the need for mechanisms that enable the automatic organization and discovery...
Miguel Ángel Corella, Pablo Castells
EWCBR
2004
Springer
15 years 1 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
FLAIRS
2007
15 years 2 days ago
Accessing XML Documents Using Semantic Meta Data in a P2P Environment
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
Dominic Battré, Felix Heine, André H...
OWLED
2008
14 years 11 months ago
What Causes Pneumonia? The Case for a Standard Semantics for "may" in OWL
: One of users' most frequent questions about OWL is "how do I say `may'?", as in "Bacteria may cause pneumonia." In many fields, particularly biomedi...
Alan L. Rector, Robert Stevens, Nick Drummond