9166 search results - page 150 / 1834 » A framework for comparing models of computation |
144
Voted
SRDS
2008
IEEE
15 years 10 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
202
Voted
AIIA
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
106
Voted
IJNSEC
2008
15 years 3 months ago
2008
Many security and privacy protocols for RFID systems have been proposed [8, 13, 19, 20]. In most cases these protocols are evaluated in terms of security based on some model. Ofte...
115
Voted
ACL
2006
15 years 5 months ago
2006
Pipeline computation, in which a task is decomposed into several stages that are solved sequentially, is a common computational strategy in natural language processing. The key pr...
136
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...