1202 search results - page 139 / 241 » Sortings for Reactive Systems |
150
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
123
Voted
JAIHC
2010
15 years 3 months ago
2010
The significance that ambient intelligence (AmI) has acquired in recent years requires the development of innovative solutions. In this sense, the development of AmI-based systems...
138
click to vote
VR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the influence of visual stimulation on the tactual sense in a mixed-reality environment; i.e., how a tactual impression of a real object is affected by seeing...
137
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
Adapting to current context of usage is of fundamental importance for pervasive computing services. As the technology for acquiring contextual information is increasingly availabl...
127
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...