Sciweavers

313 search results - page 34 / 63
» Properties of Euler Diagrams
Sort
View
CIE
2006
Springer
13 years 11 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
ICSE
2003
IEEE-ACM
14 years 7 months ago
Improving UML Support for User Interface Design: A Metric Assessment of UMLi
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
Paulo Pinheiro da Silva, Norman W. Paton
UML
2001
Springer
13 years 12 months ago
A UML-integrated Test Description Language for Component Testing
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...
ISORC
1999
IEEE
13 years 11 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
SODA
2004
ACM
111views Algorithms» more  SODA 2004»
13 years 9 months ago
Almost-Delaunay simplices: nearest neighbor relations for imprecise points
Delaunay tessellations and Voronoi diagrams capture proximity relationships among sets of points in any dimension. When point coordinates are not known exactly, as in the case of ...
Deepak Bandyopadhyay, Jack Snoeyink