Sciweavers

2943 search results - page 52 / 589
» Software Implementation of Synchronous Programs
Sort
View
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
13 years 7 months ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
14 years 1 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
ECOOP
2004
Springer
14 years 1 months ago
Sequential Object Monitors
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
Denis Caromel, Luis Mateu, Éric Tanter
COMPSAC
2001
IEEE
13 years 11 months ago
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
Galo Gimenez, K. H. Kim
SACRYPT
2000
Springer
13 years 11 months ago
LILI Keystream Generator
The LILI-128 keystream generator is a LFSR based synchronous stream cipher with a 128 bit key. The design offers large period and linear complexity, and is resistant to currently ...
Leonie Ruth Simpson, Ed Dawson, Jovan Dj. Golic, W...