13734 search results - page 2483 / 2747 » Abstractions of data types |
187
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
165
click to vote
AOIS
2003
15 years 8 months ago
2003
Abstract. In this paper, we describe an Intelligent Multiagent Infrastructure for Distributed Systems in Education (or I-MINDS) framework that applies an agent-oriented information...
156
click to vote
BXML
2003
15 years 8 months ago
2003
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...
155
click to vote
CMS
2003
15 years 8 months ago
2003
Abstract. Some security problems can be often solved through authorization rather than authentication. Furthermore, certificate-based authorization approach can alleviate usual dr...
163
click to vote
CRIWG
2003
15 years 8 months ago
2003
Abstract. In this paper we present a theory-based approach to designing tailorable groupware for the healthcare domain. Both literature and empirical data show the need, and diffic...