Sciweavers

564 search results - page 22 / 113
» Do interactive systems need specifications
Sort
View
SIGGRAPH
1998
ACM
15 years 7 months ago
Interactive Reflections on Curved Objects
Global view-dependent illumination phenomena, in particular reflections, greatly enhance the realism of computer-generated imagery. Current interactive rendering methods do not pr...
Eyal Ofek, Ari Rappoport
DEFORM
2000
15 years 5 months ago
Interactive Modelling of MPEG-4 Deformable Human Body Models
: Acquisition of various human body models is useful in many cases. In this paper, we present some of our recent work on body creation tools. Our goal is to enable rapid creation o...
Hyewon Seo, Frederic Cordier, Laurent Philippon, N...
BMCBI
2010
137views more  BMCBI 2010»
15 years 4 months ago
Biana: a software framework for compiling biological interactions and analyzing networks
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
Javier Garcia-Garcia, Emre Guney, Ramon Aragues, J...
ICFEM
1997
Springer
15 years 8 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
CASCON
2006
107views Education» more  CASCON 2006»
15 years 5 months ago
Tailoring UML activities to use case modeling for web application development
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
Alexander Lorenz, Hans-Werner Six