410 search results - page 61 / 82 » Tools for System Validation with B Abstract Machines |
137
Voted
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
151
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
139
click to vote
GAMESEC
2010
15 years 1 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
122
Voted
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
123
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...