Sciweavers

1720 search results - page 217 / 344
» A Generic Model for Integrated Multi-Channel Information Sys...
Sort
View
128
Voted
SOSP
2009
ACM
16 years 12 days ago
Fabric: a platform for secure distributed computation and storage
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Luc...
166
Voted
JELIA
1994
Springer
15 years 7 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
GI
2005
Springer
15 years 9 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
146
Voted
KYOTODL
2000
122views more  KYOTODL 2000»
15 years 4 months ago
Federation Services for Heterogeneous Digital Libraries Accessing Cooperative and Non-Cooperative Sources
Today, bibliographical information is kept in a variety of digital libraries available on the Internet. The integration of bibliographical data is considered as one of the most im...
Martin Endig, Michael Höding, Gunter Saake, K...
118
Voted
WOWMOM
2005
ACM
98views Multimedia» more  WOWMOM 2005»
15 years 9 months ago
Intuitive Human Governance of Autonomic Pervasive Computing Environments
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
Tony O'Donnell, David Lewis, Vincent Wade