Sciweavers

13977 search results - page 571 / 2796
» Evolution in complex systems
Sort
View
SOFTVIS
2006
ACM
16 years 1 months ago
Visualization of areas of interest in software architecture diagrams
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
Heorhiy Byelas, Alexandru Telea
SIGSOFT
2001
ACM
16 years 8 months ago
A graph based architectural (Re)configuration language
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
Michel Wermelinger, Antónia Lopes, Jos&eacu...
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 7 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
HICSS
2009
IEEE
113views Biometrics» more  HICSS 2009»
16 years 2 months ago
Digital Forensics: Defining a Research Agenda
While many fields have well-defined research agendas, evolution of the field of digital forensics has been largely driven by practitioners in the field. As a result, the majority ...
Kara L. Nance, Brian Hay, Matt Bishop
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
16 years 1 months ago
A set-membership approach to consensus problems with bounded measurement errors
— This paper analyzes two classes of consensus algorithms in presence of bounded measurement errors. The protocols taken into account adopt an updating rule based either on const...
Andrea Garulli, Antonio Giannitrapani