3424 search results - page 457 / 685 » Building Diverse Computer Systems |
135
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
120
Voted
GG
2004
Springer
15 years 10 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
142
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...
152
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Online training and support objects can be difficult and timeconsuming to create. Written words are often ignored by users who want someone to show them a procedure. Viewlets are ...
140
click to vote
DSOM
1999
Springer
15 years 8 months ago
1999
Springer
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...