Sciweavers

6174 search results - page 1043 / 1235
» The language of social software
Sort
View
SOCO
2005
Springer
15 years 12 months ago
Directory Support for Large-Scale, Automated Service Composition
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
Walter Binder, Ion Constantinescu, Boi Faltings
SOCO
2005
Springer
15 years 12 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
VLSI
2005
Springer
15 years 12 months ago
Technology Mapping for Area Optimized Quasi Delay Insensitive Circuits
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
Bertrand Folco, Vivian Brégier, Laurent Fes...
CC
2004
Springer
142views System Software» more  CC 2004»
15 years 12 months ago
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
Philippe Clauss, Irina Tchoupaeva
CC
2004
Springer
163views System Software» more  CC 2004»
15 years 12 months ago
Declarative Composition of Stack Frames
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
Christian Lindig, Norman Ramsey
« Prev « First page 1043 / 1235 Last » Next »