4211 search results - page 77 / 843 » A formal approach to MASQ |
101
click to vote
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
109
click to vote
USAB
2007
14 years 11 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
IDA
2009
Springer
15 years 2 months ago
2009
Springer
Searching for interesting patterns in binary matrices plays an important role in data mining and, in particular, in formal concept analysis and related disciplines. Several algorit...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...