10159 search results - page 335 / 2032 » System Design Validation Using Formal Models |
149
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
144
click to vote
STTT
2010
15 years 2 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
147
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
147
Voted
UM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
104
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...