2148 search results - page 201 / 430 » Responsiveness in Process Calculi |
111
click to vote
EH
2002
IEEE
15 years 4 months ago
2002
IEEE
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
123
click to vote
ICDCSW
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
WACV
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a multimodal crisis management system (XISM). It employs processing of natural gesture and speech commands elicited by a user to efficiently manage complex dyn...
GECCO
2009
Springer
15 years 3 months ago
2009
Springer
Automatic design of software architecture by use of genetic algorithms has already been shown to be feasible. A natural problem is to augment – if not replace – genetic algori...
GI
2009
Springer
15 years 3 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...