2644 search results - page 408 / 529 » Complex Interacting Infrastructure Systems |
WSC
2008
13 years 10 months ago
2008
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
CIBCB
2008
IEEE
13 years 10 months ago
2008
IEEE
The concept of a network motif--a small set of interacting genes which produce a predictable behaviour at the network level--has attracted considerable attention amongst network an...
ACSD
2006
IEEE
13 years 10 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...