195
click to vote
IFIP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Network monitoring plays a crucial role in any network management environment. Especially nowadays, with network speed and load constantly increasing, more and more data ...
160
Voted
CBMS
2008
IEEE
15 years 9 months ago
2008
IEEE
197
Voted
CBMS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the integration of a workflow management system into the VL-e Medical software architecture. Workflows are designed with the Taverna workbench, and then execute...
194
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
234
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...