Sciweavers

4797 search results - page 583 / 960
» The complexity of partition tasks
Sort
View
147
Voted
RSP
1999
IEEE
15 years 11 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
ACSAC
1998
IEEE
15 years 11 months ago
How to Increase Security in Mobile Networks by Anomaly Detection
The increasing complexity of cellular radio networks yields new demands concerning network security. Especially the task of detecting, repulsing and preventing abuse both by in- a...
Roland Büschkes, Dogan Kesdogan, Peter Reichl
183
Voted
HPDC
1998
IEEE
15 years 11 months ago
Application Experiences with the Globus Toolkit
The development of applications and tools for highperformance "computational grids" is complicated by the heterogeneity and frequently dynamic behavior of the underlying...
Sharon Brunett, Karl Czajkowski, Steven Fitzgerald...
ICDCS
1998
IEEE
15 years 11 months ago
A Language for Specifying the Composition of Reliable Distributed Applications
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
Frédéric Ranno, Santosh K. Shrivasta...
ICRA
1998
IEEE
121views Robotics» more  ICRA 1998»
15 years 11 months ago
Real-Time Estimation of Dominant Motion in Underwater Video Images for Dynamic Positioning
In this paper, we propose a 2D visual motion estimation method which can be exploited to achieve a dynamic positioning (eg. by gaze control) with respect to a sea-bottom area of i...
Fabien Spindler, Patrick Bouthemy