10159 search results - page 1617 / 2032 » System Design Validation Using Formal Models |
180
Voted
CANS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
182
Voted
IJISTA
2007
15 years 6 months ago
2007
: This paper introduces a system for real-time incremental learning in a call-centre environment. The classifier used is a Support Vector Machine (SVM) and it is applied to telepho...
199
Voted
CG
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we present a sketch modelling system which we call Stilton. The program resembles a desktop VRML browser, allowing a user to navigate a 3D model in a perspective pro...
150
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
194
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
A typical online Business Intelligence (BI) workload consists of a combination of short, less intensive queries, along with long, resource intensive queries. As such, the longest ...