Sciweavers

6300 search results - page 167 / 1260
» We have it easy, but do we have it right
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 5 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
GD
1995
Springer
15 years 5 months ago
On Representations of Some Thickness-Two Graphs
This paper considers representations of graphs as rectangle-visibility graphs and as doubly linear graphs. These are, respectively, graphs whose vertices are isothetic rectangles ...
Joan P. Hutchinson, Thomas C. Shermer, Andrew Vinc...
IADIS
2003
15 years 2 months ago
Improving Internet Research Methods: A Web Laboratory
We describe the current state of a resource that enables research in the human sciences with differential access rights for experimenters and participants in experiments. We outli...
Maria Buckley, Carl Vogel
CAD
2008
Springer
15 years 1 months ago
On validating STEP product data exchange
Product data exchange requires exchanging geometrical shape data that may have to be represented differently in the sending and in the receiving system. Since the translation proc...
Alexandr Kuzminykh, Christoph Hoffmann
CG
2007
Springer
15 years 1 months ago
Visualizing time-oriented data - A systematic view
The analysis of time-oriented data is an important task in many application scenarios. In recent years, a variety of techniques for visualizing such data have been published. This...
Wolfgang Aigner, Silvia Miksch, Wolfgang Müll...