Sciweavers

10072 search results - page 148 / 2015
» Composition of Model Programs
Sort
View
CC
2004
Springer
163views System Software» more  CC 2004»
15 years 10 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
CSFW
2000
IEEE
15 years 9 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
IEEESCC
2010
IEEE
15 years 9 months ago
Dynamic Composition of Services in Sensor Networks
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
Sahin Cem Geyik, Boleslaw K. Szymanski, Petros Zer...
133
Voted
OOIS
1997
Springer
15 years 8 months ago
Subject Composition by Roles
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...
Bent Bruun Kristensen
ANLP
1994
155views more  ANLP 1994»
15 years 6 months ago
Guided Sentences Composition for Disabled People
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
Robert Pasero, Nathalie Richardet, Paul Sabatier