Sciweavers

5210 search results - page 220 / 1042
» Tools for Distributed Facilitation
Sort
View
LCN
2008
IEEE
16 years 19 days ago
DiCAP: Distributed Packet Capturing architecture for high-speed network links
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...
Cristian Morariu, Burkhard Stiller
COMPSAC
2006
IEEE
16 years 9 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
ISSTA
2006
ACM
16 years 6 days ago
Improving distributed memory applications testing by message perturbation
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
Richard W. Vuduc, Martin Schulz, Daniel J. Quinlan...
IEEESCC
2005
IEEE
15 years 12 months ago
An Investigation on Service-Oriented Architecture for Constructing Distributed Web GIS Application
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
Xiaolin Lu
WMTE
2005
IEEE
15 years 11 months ago
Innovative Media in Support of Distributed Intelligence and Lifelong Learning
Individual, unaided human abilities are constrained. Media have helped us to transcend boundaries in thinking, working, learning, and collaborating by supporting distributed intel...
Gerhard Fischer, Shin'ichi Konomi