1064 search results - page 133 / 213 » Disjoint Systems (Extended Abstract) |
152
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
186
Voted
AMS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
119
Voted
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
129
Voted
COORDINATION
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
120
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...