Sciweavers

3061 search results - page 383 / 613
» integration 2006
Sort
View
IWC
2002
98views more  IWC 2002»
15 years 6 months ago
Living memory: agent-based information management for connected local communities
We investigate the application of multi-agent systems to develop intelligent information interfaces for connected communities, a class of computer applications aimed at enhancing ...
Kostas Stathis, Oscar de Bruijn, Silvio Macedo
IJSEKE
1998
141views more  IJSEKE 1998»
15 years 6 months ago
REINAS: A Real-Time System for Managing Environmental Data
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...
Eric C. Rosen, Theodore R. Haining, Darrell D. E. ...
JCS
2002
118views more  JCS 2002»
15 years 6 months ago
Verified Formal Security Models for Multiapplicative Smart Cards
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
IS
1998
15 years 6 months ago
Specifying Global Behaviour in Database Federations
Abstract - We discuss the impact of locally implemented behaviour on global behaviour specification in a federation of object-oriented databases. In particular, given a specificati...
Mark W. W. Vermeer, Peter M. G. Apers
IWC
1998
130views more  IWC 1998»
15 years 6 months ago
MobiCom: networking dispersed groups
: The paper describes MobiCom, a research project aimed at realising information technology support for dispersed groups of networking, mobile knowledge workers. MobiCom addresses ...
Steinar Kristoffersen, Fredrik Ljungberg