Sciweavers

65 search results - page 4 / 13
» Using Speed Diagrams for Symbolic Quality Management
Sort
View
IASTEDSE
2004
14 years 11 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
COSIT
2009
Springer
119views GIS» more  COSIT 2009»
15 years 4 months ago
Grounding Geographic Categories in the Meaningful Environment
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...
Simon Scheider, Krzysztof Janowicz, Werner Kuhn
KBSE
2007
IEEE
15 years 3 months ago
Scalable automatic test data generation from modeling diagrams
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
Yannis Smaragdakis, Christoph Csallner, Ranjith Su...
TMC
2010
167views more  TMC 2010»
14 years 4 months ago
Optimal Speed Control of Mobile Node for Data Collection in Sensor Networks
A data mule represents a mobile device that collects data in a sensor field by physically visiting the nodes in a sensor network. The data mule collects data when it is in the prox...
Ryo Sugihara, Rajesh K. Gupta
91
Voted
PG
2002
IEEE
15 years 2 months ago
Interactive Visualization of Non-Manifold Implicit Surfaces Using Pre-Integrated Volume Rendering
We present an interactive method of visualizing both manifold and non-manifold implicit surfaces. The implicit surfaces are directly visualized at interactive frame rates independ...
Shuntaro Yamazaki, Kiwamu Kase, Katsushi Ikeuchi