Sciweavers

7209 search results - page 1209 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
IPPS
1999
IEEE
15 years 4 months ago
An Approach for Measuring IP Security Performance in a Distributed Environment
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
Brett L. Chappell, David T. Marlow, Philip M. Irey...
97
Voted
COBUILD
1998
Springer
15 years 4 months ago
The Timeless Way: Making Living Cooperative Buildings with Design Patterns
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
Lyn Pemberton, Richard N. Griffiths
132
Voted
ESEC
1997
Springer
15 years 4 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
CASES
2001
ACM
15 years 4 months ago
The very portable optimizer for digital signal processors
Although retargetability has been a major design concern for many compilers, retargetability is a vitally important issue for Digital Signal Processors(DSPs) because the architect...
Sungjoon Jung, Yunheung Paek
132
Voted
LCPC
1995
Springer
15 years 4 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
« Prev « First page 1209 / 1442 Last » Next »