1588 search results - page 235 / 318 » Modular action language |
138
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
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 ...
109
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
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...
124
click to vote
UIST
2010
ACM
15 years 1 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
145
Voted
FIW
2009
15 years 1 months ago
2009
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 ...
127
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...