Sciweavers

1636 search results - page 66 / 328
» Type-Theoretic Functional Semantics
Sort
View
141
Voted
ATAL
2007
Springer
15 years 9 months ago
Filters for semantic service composition in service-oriented multiagent systems
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...
Alberto Fernández, Sascha Ossowski
124
Voted
JAVA
1999
Springer
15 years 7 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...
130
Voted
EACL
1993
ACL Anthology
15 years 4 months ago
Type-Driven Semantic Interpretation of f-Structures
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
Jürgen Wedekind, Ronald M. Kaplan
FORTE
2009
15 years 1 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
IJSM
2007
86views more  IJSM 2007»
15 years 3 months ago
Keypics: Free-Hand Drawn Iconic Keywords
— We propose an iconic indexing of images to be exposed on the Web. This should be accomplished by “Keypics”, i.e. auxiliary, simplified pictures referring to the geometrica...
Andrea Cerri, Massimo Ferri, Patrizio Frosini, Dan...