15614 search results - page 226 / 3123 » The State of State |
309
click to vote
AIHC
2007
Springer
16 years 22 days ago
2007
Springer
Affective and human-centered computing have attracted a lot of attention during the past years, mainly due to the abundance of devices and environments able to exploit multimodal i...
182
click to vote
P2P
2006
IEEE
16 years 17 days ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
172
click to vote
IPMI
2005
Springer
16 years 2 days ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
158
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
174
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...