3823 search results - page 432 / 765 » Stability of Hybrid Systems |
190
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
174
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We propose a hybridization of collaborative filtering and content based recommendation system. Attributes used for content based recommendations are assigned weights depending on ...
152
click to vote
ISPDC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
174
click to vote
VTC
2006
IEEE
16 years 24 days ago
2006
IEEE
—In this paper, the exact closed-form capacity expression for a hybrid selection/MIMO (H-S/MIMO) system in the spatial correlated Rayleigh fading channels is investigated. There ...
182
click to vote
RSP
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...