8446 search results - page 997 / 1690 » A Process Compensation Language |
196
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
175
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
199
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
157
click to vote
ISCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
159
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...