2148 search results - page 65 / 430 » Responsiveness in Process Calculi |
118
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
137
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We assume a sensor network with data-centric storage, where sensor data is stored within the sensor network and ad hoc queries are disseminated and processed inside the network. I...
125
Voted
FGR
1998
IEEE
15 years 8 months ago
1998
IEEE
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
111
Voted
ACTA
2010
15 years 4 months ago
2010
Abstract This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones...
109
Voted
CJ
2010
15 years 4 months ago
2010
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...