Sciweavers

5451 search results - page 48 / 1091
» Typed Operational Semantics
Sort
View
NOMS
2006
IEEE
119views Communications» more  NOMS 2006»
15 years 8 months ago
Runtime Semantic Interoperability for Gathering Ontology-based Network Context
—The trends for pushing more operational intelligence towards network elements to achieve more context-aware and self-managing behavior often requires elements to gather network ...
John Keeney, David Lewis, Declan O'Sullivan, Antoi...
132
Voted
ICFP
2003
ACM
16 years 2 months ago
FreshML: programming with binders made simple
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay
118
Voted
ENTCS
2002
113views more  ENTCS 2002»
15 years 2 months ago
An Operational Semantics for Declarative Multi-Paradigm Languages
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
127
Voted
MDM
2007
Springer
126views Communications» more  MDM 2007»
15 years 8 months ago
Semantics of Spatially-Aware Windows Over Streaming Moving Objects
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...
Kostas Patroumpas, Timos K. Sellis
WEBDB
2007
Springer
133views Database» more  WEBDB 2007»
15 years 8 months ago
EntityAuthority: Semantically Enriched Graph-Based Authority Propagation
This paper pursues the recently emerging paradigm of searching for entities that are embedded in Web pages. We utilize informationextraction techniques to identify entity candidat...
Julia Stoyanovich, Srikanta J. Bedathur, Klaus Ber...