5180 search results - page 48 / 1036 » Concurrency, Time, and Constraints |
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
In collaboration architectures, a computer must perform both processing and transmission tasks. Intuitively, it seems that these independent tasks should be executed in concurrent ...
WWW
2008
ACM
16 years 15 days ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
110
click to vote
DLT
2007
15 years 1 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
GI
2009
Springer
15 years 4 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
ACSD
1998
IEEE
15 years 4 months ago
1998
IEEE
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...