Sciweavers

5451 search results - page 244 / 1091
» Typed Operational Semantics
Sort
View
COORDINATION
2004
Springer
15 years 9 months ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek
TACS
2001
Springer
15 years 9 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough
CAISE
2005
Springer
15 years 10 months ago
Event-Based Modeling of Evolution for Semantic-Driven Systems
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
Peter Plessers, Olga De Troyer, Sven Casteleyn
ECIR
2008
Springer
15 years 5 months ago
Semantic Relationships in Multi-modal Graphs for Automatic Image Annotation
It is important to integrate contextual information in order to improve the inaccurate results of current approaches for automatic image annotation. Graph based representations all...
Vassilios Stathopoulos, Jana Urban, Joemon M. Jose
LREC
2008
138views Education» more  LREC 2008»
15 years 5 months ago
Language Resources for Semantic Document Annotation and Crosslingual Retrieval
This paper describes the interaction among language resources for an adequate concept annotation of domain texts in several languages. The architecture includes domain ontology, d...
Petya Osenova, Kiril Ivanov Simov, Eelco Mossel