280 search results - page 40 / 56 » Semantic self-assessment of query results in dynamic environ... |
JUCS
2008
13 years 8 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
ICALP
1997
Springer
14 years 13 days ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
ICDE
2009
IEEE
14 years 3 months ago
2009
IEEE
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The search task and the system both affect the demand on cognitive resources during information search. In some situations, the demands may become too high for a person. This arti...