Sciweavers

7379 search results - page 1249 / 1476
» Distributed vector architectures
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 8 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
WETICE
2006
IEEE
15 years 8 months ago
A Model-Driven Framework for Managing the QoS of Collaborative P2P Service-Based Applications
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
Michele Angelaccio, Andrea D'Ambrogio
ELPUB
2006
ACM
15 years 8 months ago
Serving Innovation in Scholarly Communication with the Open Platform "Digital Peer Publishing"
The internet causes a continuous emergence of novel forms of scholarly communication and collaboration. Electronic publishing provides a means for representing eventual outcomes o...
Wolfram Horstmann, Peter Reimer, Jochen Schirrwage...
123
Voted
INFOSCALE
2006
ACM
15 years 8 months ago
Indexing and searching tera-scale Grid-Based Digital Libraries
— The University of California, Berkeley and the University of Liverpool in conjunction with the San Diego Supercomputer Center, are developing a framework for GridBased Digital ...
Robert Sanderson, Ray R. Larson
100
Voted
IWCMC
2006
ACM
15 years 8 months ago
Tracers placement for IP traceback against DDoS attacks
This paper explores the tracers deployment problem for IP traceback methods how many and where the tracers should be deployed in the network to be effective for locating the attac...
Chun-Hsin Wang, Chang-Wu Yu, Chiu-Kuo Liang, Kun-M...
« Prev « First page 1249 / 1476 Last » Next »