Sciweavers

3346 search results - page 150 / 670
» A Generic Rendering System
Sort
View
SECURWARE
2007
IEEE
16 years 20 days ago
Temporal Verification in Secure Group Communication System Design
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes...
DEXAW
1999
IEEE
94views Database» more  DEXAW 1999»
15 years 10 months ago
Reuse, Validation and Verification of System Development Processes
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
Peter J. Funk, Ivica Crnkovic
ARGMAS
2008
Springer
15 years 8 months ago
A Constrained Argumentation System for Practical Reasoning
Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what st...
Leila Amgoud, Caroline Devred, Marie-Christine Lag...
KES
2005
Springer
15 years 12 months ago
Ontology Modeling and Storage System for Robot Context Understanding
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
Eric Wang, Yong Se Kim, Hak Soo Kim, Jin Hyun Son,...
PG
2007
IEEE
16 years 20 days ago
Faceting Artifact Analysis for Computer Graphics
The faceting signal, defined in this paper as the difference signal between a rendering of the original geometric model and a simplified version of the geometric model, is respo...
Lijun Qu, Gary W. Meyer