Sciweavers

1730 search results - page 152 / 346
» Open Archiving for Open Research
Sort
View
EUROPKI
2005
Springer
15 years 10 months ago
CA-in-a-Box
An enterprise (such as an institute of higher education) wishing to deploy PKI must choose between several options, all expensive and awkward. It might outsource certification to ...
Mark Franklin, Kevin Mitcham, Sean W. Smith, Joshu...
VSTTE
2005
Springer
15 years 10 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
HT
2004
ACM
15 years 10 months ago
Experiences migrating microcosm learning materials
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
H. C. Davis, R. A. Bacon
122
Voted
AOSE
2004
Springer
15 years 10 months ago
A Design Process for Adaptive Behavior of Situated Agents
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande ...
COLT
2004
Springer
15 years 10 months ago
Learning Classes of Probabilistic Automata
Abstract. Probabilistic finite automata (PFA) model stochastic languages, i.e. probability distributions over strings. Inferring PFA from stochastic data is an open field of rese...
François Denis, Yann Esposito