Sciweavers

820 search results - page 105 / 164
» Action Languages
Sort
View
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 6 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
ECAI
2010
Springer
13 years 6 months ago
Behavior-Oriented Commitment-based Protocols
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
FIW
2009
124views Communications» more  FIW 2009»
13 years 5 months ago
Online Detection of Feature Interactions of CPL Services
The Call Processing Language (CPL) is one of the best known approaches developed for creating telephony services in Internet telephony. Its XML-based structure makes it a flexible ...
Lixiang Wang, Jiuyun Xu, Stephan Reiff-Marganiec
CONTEXT
2001
Springer
14 years 17 days ago
Local Holism
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
Carlo Penco
ICCBR
2010
Springer
13 years 11 months ago
Text Adaptation Using Formal Concept Analysis
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
Valmi Dufour-Lussier, Jean Lieber, Emmanuel Nauer,...