Sciweavers

5096 search results - page 255 / 1020
» Associations as a Language Construct
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
Session Types for Orchestration Charts
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
Alessandro Fantechi, Elie Najm
SIGADA
1999
Springer
15 years 11 months ago
Towards a distributed object-oriented propagation model using Ada95
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
Donald M. Needham, Steven A. Demurjian, Thomas J. ...
CDVE
2007
Springer
101views Visualization» more  CDVE 2007»
16 years 26 days ago
IT Services Design to Support Coordination Practices in the Luxembourguish AEC Sector
In the Architecture Engineering and Construction sector (AEC) cooperation between actors is essential for project success. The configuration of actors’ organization takes differe...
Sylvain Kubicki, Annie Guerriero, Damien Hanser, G...
IACR
2011
122views more  IACR 2011»
14 years 6 months ago
On Authenticated Encryption Using Stream Ciphers Supporting an Initialisation Vector
We describe a systematic framework for using a stream cipher supporting an initialisation vector (IV) to perform various tasks of authentication and authenticated encryption. These...
Palash Sarkar
PLDI
2003
ACM
15 years 12 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...