Sciweavers

2880 search results - page 293 / 576
» Types are calling conventions
Sort
View
DEEC
2005
IEEE
16 years 9 days ago
Ontologizing EDI: First Steps and Initial Experience
Electronic Data Interchange (EDI) standards for transmission of business messages were promulgated in the 1970s. As standards became more complex to provide additional message typ...
Douglas Foxvog, Christoph Bussler
IOLTS
2005
IEEE
120views Hardware» more  IOLTS 2005»
16 years 8 days ago
Side-Channel Issues for Designing Secure Hardware Implementations
Selecting a strong cryptographic algorithm makes no sense if the information leaks out of the device through sidechannels. Sensitive information, such as secret keys, can be obtai...
Lejla Batina, Nele Mentens, Ingrid Verbauwhede
ISPDC
2005
IEEE
16 years 8 days ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Distributed Systems
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
Daniel Grosu, Thomas E. Carroll
CALCO
2005
Springer
75views Mathematics» more  CALCO 2005»
16 years 6 days ago
Parametrized Exceptions
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful ...
Dennis Walter, Lutz Schröder, Till Mossakowsk...
FMCO
2005
Springer
16 years 6 days ago
A Software Component Model and Its Preliminary Formalisation
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang