1078 search results - page 53 / 216 » Modelling and Verifying of e-Commerce Systems |
101
click to vote
OSDI
2008
ACM
16 years 3 days ago
2008
ACM
This paper proposes to develop a system-wide energy consumption model for servers by making use of hardware performance counters and experimental measurements. We develop a real-t...
107
click to vote
ENTCS
2007
14 years 11 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
FAC
2008
14 years 12 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
124
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper addresses the problem of doubletalk detector calibration for acoustic echo cancellers in hands-free environments such as videoconferencing. A statistical model of a rec...