Sciweavers

3322 search results - page 267 / 665
» Automatic Human Model Generation
Sort
View
INTERACTION
2009
ACM
15 years 9 months ago
DTD2OWL: automatic transforming XML documents into OWL ontology
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
Pham Thi Thu Thuy, Young-Koo Lee, Sungyoung Lee
APLAS
2005
ACM
15 years 8 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ICST
2009
IEEE
15 years 21 days ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
HAPTICS
2005
IEEE
15 years 8 months ago
A Haptic Interface for Human-in-the-Loop Manipulation at the Nanoscale
This paper outlines major challenges that we are facing in interfacing a human user with objects in the nanoworld via a haptic interface. After a review of prior efforts at haptic...
Hong Z. Tan, Laron Walker, Ron Reifenberger, Sorub...
NDSS
2007
IEEE
15 years 9 months ago
RICH: Automatically Protecting Against Integer-Based Vulnerabilities
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
David Brumley, Dawn Xiaodong Song, Tzi-cker Chiueh...