1554 search results - page 65 / 311 » An Overview of the Spring System |
CN
2008
13 years 10 months ago
2008
Service and resource discovery has become an integral part of modern networked systems. In this survey we give an overview of the existing solutions for service and resource discov...
DAC
1990
ACM
14 years 2 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 11 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 3 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 11 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 ...