72 search results - page 6 / 15 » Orderly communication in the Ambient Calculus |
78
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
KES
2008
Springer
14 years 9 months ago
2008
Springer
In an ambient intelligence world, devices work in order to support people carrying out their everyday life activities in a natural way. Therefore, it is necessary to know the entit...
PDCN
2007
14 years 11 months ago
2007
Communication environments are becoming increasingly more complex due to the diversity of available network technologies in terms of spatial coverage and design characteristics, a...
112
click to vote
AMI
2008
Springer
14 years 10 months ago
2008
Springer
The challenging context of Ambient Assisted Living (AAL) demands for a service-oriented technological shift in the field of ubiquitous computing. Recently, novel paradigms have be...
90
Voted
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...