Sciweavers

5465 search results - page 456 / 1093
» Assigning Types to Processes
Sort
View
ADAEUROPE
2001
Springer
15 years 10 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
ATAL
2001
Springer
15 years 10 months ago
Antisocial Agents and Vickrey Auctions
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation and task assignment. In many cases the...
Felix Brandt, Gerhard Weiß
DAWAK
2001
Springer
15 years 10 months ago
Determining the Convex Hull in Large Multidimensional Databases
Determiningthe convex hull ofa point set isa basic operation for many applications of pattern recognition, image processing, statistics, and data mining. Although the corresponding...
Christian Böhm, Hans-Peter Kriegel
ER
2001
Springer
163views Database» more  ER 2001»
15 years 10 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
SIGGRAPH
2010
ACM
15 years 10 months ago
Triangle surfaces with discrete equivalence classes
We propose a technique that takes a triangulated surface as input and outputs a surface with the same topology but altered geometry such that each polygon falls into a set of disc...
Mayank Singh, Scott Schaefer