2575 search results - page 359 / 515 » Design of Distributed Component Frameworks for Computational... |
171
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
182
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
140
click to vote
COLCOM
2007
IEEE
16 years 15 days ago
2007
IEEE
—Reputation systems provide a promising way for building trust through social control in collaborative communities by harnessing the community knowledge in the form of feedback. ...
201
click to vote
NEUROSCIENCE
2001
Springer
15 years 10 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
176
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Centralized Resource Description Framework (RDF) repositories have limitations both in their failure tolerance and in their scalability. Existing Peer-to-Peer (P2P) RDF repositori...