1064 search results - page 120 / 213 » Disjoint Systems (Extended Abstract) |
171
click to vote
ACOM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
186
click to vote
ADVIS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
114
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
140
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
139
Voted
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...