1429 search results - page 50 / 286 » An Overview of the Annex System |
DAC
1990
ACM
15 years 4 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...
113
click to vote
EVOTING
2004
15 years 2 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-...
156
Voted
ACII
2011
Springer
14 years 20 days ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
127
click to vote
FEDCSIS
2011
14 years 12 days ago
2011
Abstract—The Future Internet will be a complex interconnection of services, applications, content and media, on which our society will become increasingly dependent. Time to mark...
143
Voted
ISAS
2005
Springer
15 years 6 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...