Sciweavers

3973 search results - page 282 / 795
» Complex adaptation and system structure
Sort
View
101
Voted
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
15 years 7 months ago
NIMS-AQ: A novel system for autonomous sensing of aquatic environments
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
Michael J. Stealey, Amarjeet Singh 0003, Maxim A. ...
COMPSAC
2008
IEEE
15 years 7 months ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
126
Voted
DIMVA
2004
15 years 2 months ago
Alarm Reduction and Correlation in Intrusion Detection Systems
: Large Critical Complex Infrastructures are increasingly dependent on IP networks. Reliability by redundancy and tolerance are an imperative for such dependable networks. In order...
Tobias Chyssler, Stefan Burschka, Michael Semling,...
109
Voted
CORR
2010
Springer
145views Education» more  CORR 2010»
14 years 10 months ago
Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
Bolanle Oladejo, Victor Odumuyiwa, Amos David
135
Voted
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 1 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...