756 search results - page 129 / 152 » Recent progress with BOXES |
IWANN
2005
Springer
14 years 8 days ago
2005
Springer
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
STORYTELLING
2005
Springer
14 years 7 days ago
2005
Springer
This paper presents the mechanisms proposed by a generic cognitive architecture for virtual characters with emotional influenced behaviors, called cognitiva, to maintain behavior ...
VSTTE
2005
Springer
14 years 7 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
WDAG
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...
DMSN
2004
ACM
14 years 6 days ago
2004
ACM
Recent years have witnessed a rapidly growing interest in query processing in sensor and actuator networks. This is mainly due to the increased awareness of query processing as th...