Sciweavers

1398 search results - page 113 / 280
» Ensuring Properties of Interaction Systems
Sort
View
161
Voted
IVC
2002
137views more  IVC 2002»
15 years 4 months ago
A color coding method for radiographic images
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...
Xie-Qi Shi, Pehr Sällström, Ulf Welander
CSFW
1999
IEEE
15 years 9 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
151
Voted
BMCBI
2006
123views more  BMCBI 2006»
15 years 4 months ago
SBEAMS-Microarray: database software supporting genomic expression analyses for systems biology
Background: The biological information in genomic expression data can be understood, and computationally extracted, in the context of systems of interacting molecules. The automat...
Bruz Marzolf, Eric W. Deutsch, Patrick Moss, David...
POPL
2002
ACM
16 years 4 months ago
Role analysis
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
Viktor Kuncak, Patrick Lam, Martin C. Rinard
ATAL
2003
Springer
15 years 9 months ago
Integrating evolutionary computing and the SADDE methodology
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
Carles Sierra, Jordi Sabater, Jaume Agustí-...