617 search results - page 31 / 124 » On the design of hybrid peer-to-peer systems |
COMPSAC
2004
IEEE
14 years 14 days ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Grid computing focuses on making use of a very large amount of resources from a large-scale computing environment. It intends to deliver high-performance computing over distribute...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
A hybrid fingerprint identification system is presented in this paper. The system consists of several steps: fingerprint enhancement, minutiae extraction, texture feature extracti...
AUTOMATICA
2008
13 years 8 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...