Sciweavers

2148 search results - page 346 / 430
» Responsiveness in Process Calculi
Sort
View
IWC
2010
132views more  IWC 2010»
14 years 8 months ago
Audio makes a difference in haptic collaborative virtual environments
In this paper a study is presented which aimed at exploring the effects of audio feedback in a haptic and visual interface supporting collaboration among sighted and people who ca...
Jonas Moll, Yingying Huang, Eva-Lotta Sallnäs
KBSE
2010
IEEE
14 years 8 months ago
RESISTing reliability degradation through proactive reconfiguration
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
Deshan Cooray, Sam Malek, Roshanak Roshandel, Davi...
KES
2010
Springer
14 years 8 months ago
Talking Biology in Logic, and Back
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...
Hasan Jamil
RULEML
2010
Springer
14 years 8 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...
SCP
2010
148views more  SCP 2010»
14 years 8 months ago
Debugging hygienic macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
Ryan Culpepper, Matthias Felleisen