Sciweavers

3637 search results - page 593 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
ICSE
2000
IEEE-ACM
15 years 1 months ago
A case study: demands on component-based development
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
Ivica Crnkovic, Magnus Larsson
ISORC
2000
IEEE
15 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
WEBDB
2000
Springer
110views Database» more  WEBDB 2000»
15 years 1 months ago
Modeling Data Entry and Operations in WebML
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
Aldo Bongio, Stefano Ceri, Piero Fraternali, Andre...
ICCV
1995
IEEE
15 years 1 months ago
Topologically Adaptable Snakes
This paper presents a topologically adaptable snakes model for image segmentation and object representation. The model is embedded in the framework of domain subdivision using sim...
Tim McInerney, Demetri Terzopoulos
SAC
1995
ACM
15 years 1 months ago
Load balancing in a distributed processing system for high-energy physics(UFMulti)
Experiments in High Energy Physics (HEP) generate tremendous amounts of data. For example, the accelerator at CERN is expected to generate petabytes per year. New HEP discoveries ...
Jagadeesh Kasaraneni, Theodore Johnson, Paul Avery