1456 search results - page 51 / 292 » An Overview of the SODA System |
DAC
1990
ACM
13 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
EVOTING
2004
13 years 9 months ago
2004
: This paper gives an overview about the Estonian e-voting system. Paper discusses how the concept of e-voting system is designed to resist some of the main challenges of remote e-...
ISAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
IKE
2003
13 years 9 months ago
2003
We describe the design of an Access Control System using Web Services for information and content management. In this paper we described the solution for control mechanism of the ...
WSC
2004
13 years 9 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...