Sciweavers

3507 search results - page 307 / 702
» Specialized execution environments
Sort
View
ICML
2004
IEEE
16 years 7 months ago
Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
Matthew R. Rudary, Satinder P. Singh, Martha E. Po...
CISIS
2010
IEEE
16 years 1 months ago
On a Journey from Message to Observable Pervasive Application
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
Geert Vanderhulst, Kris Luyten, Karin Coninx
WECWIS
2009
IEEE
133views ECommerce» more  WECWIS 2009»
16 years 1 months ago
Evaluation of Prioritization in Performance Models of DTP Systems
Modern IT systems serve many different business processes on a shared infrastructure in parallel. The automatic request execution on the numerous interconnected components, hosted...
Christian Markl, Oliver Huhn
IPPS
2009
IEEE
16 years 1 months ago
Validating Wrekavoc: A tool for heterogeneity emulation
Experimental validation and testing of solutions designed for heterogeneous environment is a challenging issue. Wrekavoc is a tool for performing such validation. It runs unmodiď¬...
Olivier Dubuisson, Jens Gustedt, Emmanuel Jeannot
CSSE
2008
IEEE
16 years 1 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...