Sciweavers

7527 search results - page 1209 / 1506
» Design and implementation of the KioskNet system
Sort
View
218
Voted
COORDINATION
2006
Springer
15 years 11 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
ER
2006
Springer
87views Database» more  ER 2006»
15 years 11 months ago
Semantic Web Techniques for Personalization of eGovernment Services
In this paper, we present the results of an ongoing research involving the design and implementation of systems supporting personalized access to multi-version resources in an eGov...
Fabio Grandi, Federica Mandreoli, Riccardo Martogl...
223
Voted
ACSAC
2003
IEEE
15 years 11 months ago
Scalable and Efficient PKI for Inter-Organizational Communication
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
Arne Ansper, Ahto Buldas, Margus Freudenthal, Jan ...
LCR
2000
Springer
140views System Software» more  LCR 2000»
15 years 11 months ago
An Infrastructure for Monitoring and Management in Computational Grids
We present the design and implementation of an infrastructure that enables monitoring of resources, services, and applications in a computational grid and provides a toolkit to hel...
Abdul Waheed, Warren Smith, Jude George, Jerry C. ...
RSP
2000
IEEE
100views Control Systems» more  RSP 2000»
15 years 11 months ago
A Hardware Virtual Machine for the Networked Reconfiguration
Networked reconfiguration is an enabling technology for cost effective service deployment and maintenance. A hardware virtual machine to enable this networked reconfigurapresented...
Yajun Ha, Patrick Schaumont, Marc Engels, Serge Ve...
« Prev « First page 1209 / 1506 Last » Next »