2148 search results - page 201 / 430 » Responsiveness in Process Calculi |
192
Voted
EH
2002
IEEE
15 years 10 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...
198
Voted
ICDCSW
2002
IEEE
15 years 10 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...
147
click to vote
WACV
2002
IEEE
15 years 10 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...
143
Voted
GECCO
2009
Springer
15 years 10 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...
148
click to vote
GI
2009
Springer
15 years 10 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 ...