4693 search results - page 530 / 939 » Verifying Hybrid Systems |
215
click to vote
APLAS
2004
ACM
16 years 12 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
176
click to vote
PASTE
2004
ACM
16 years 12 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
247
click to vote
ITRUST
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
174
click to vote
LCN
2003
IEEE
16 years 7 days ago
2003
IEEE
Network processors offer a new flexibility for network applications and reduce the time to market for data processing systems. In this paper, we describe the changed development p...
179
click to vote
CSFW
2002
IEEE
15 years 12 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...