206 search results - page 21 / 42 » Formal Specification and Analysis of an E-voting System |
JUCS
2010
14 years 4 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
SP
1996
IEEE
15 years 1 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
114
click to vote
DQ
1998
14 years 9 months ago
1998
Current evidence indicates that poor data quality is pervasive and has a significant negative impact on business success. Information-system (IS) professionals are typically charg...
IEEEAMS
2003
IEEE
15 years 2 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
RECOMB
2000
Springer
15 years 1 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...