1754 search results - page 140 / 351 » What's new in informatics |
DSVIS
2003
Springer
14 years 2 months ago
2003
Springer
The way people use computers has changed in recent years, from desktop single-machine settings to many computers and personal assistants in widely different contexts. Personal Docu...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper presents a theoretical study of the selection pressure in asynchronous cellular evolutionary algorithms (cEAs). This work is motivated by the search for a gene...
HUC
2009
Springer
14 years 1 months ago
2009
Springer
Location-based ubiquitous computing systems are entering mainstream society and becoming familiar parts of everyday life. However, the settings in which they are deployed are alre...