Sciweavers

6 search results - page 1 / 2
» Building a Reliable e-Voting System: Functional Requirements...
Sort
View
DEXAW
2002
IEEE
126views Database» more  DEXAW 2002»
13 years 9 months ago
Building a Reliable e-Voting System: Functional Requirements and Legal Constraints
Costas Lambrinoudakis, Dimitris Gritzalis, Sokrati...
DSRT
2008
IEEE
13 years 11 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
DAC
2009
ACM
13 years 11 months ago
Information hiding for trusted system design
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
Junjun Gu, Gang Qu, Qiang Zhou
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
13 years 4 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
WPES
2005
ACM
13 years 10 months ago
Mining rule semantics to understand legislative compliance
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
Travis D. Breaux, Annie I. Antón