Sciweavers

3653 search results - page 573 / 731
» On Recognizable Timed Languages
Sort
View
APWEB
2005
Springer
15 years 11 months ago
Automatic Runtime Validation and Correction of the Navigational Design of Web Sites
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
Sven Casteleyn, Irene Garrigós, Olga De Tro...
ATAL
2005
Springer
15 years 11 months ago
An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
We present an organisation infrastructure for open MultiAgent Systems built upon a role-based access control model (RBAC), which provides agents with means to enable and control a...
Mirko Viroli, Alessandro Ricci, Andrea Omicini
BIRTHDAY
2005
Springer
15 years 11 months ago
Finite Equational Bases in Process Algebra: Results and Open Questions
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 11 months ago
Age-Oriented Concurrent Garbage Collection
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
Harel Paz, Erez Petrank, Stephen M. Blackburn
CIKM
2005
Springer
15 years 11 months ago
Finding similar questions in large question and answer archives
There has recently been a significant increase in the number of community-based question and answer services on the Web where people answer other peoples’ questions. These serv...
Jiwoon Jeon, W. Bruce Croft, Joon Ho Lee