376 search results - page 35 / 76 » A Model for Visual Specification of E-contracts |
RE
2001
Springer
14 years 23 hour ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
ICIAP
2005
ACM
14 years 7 months ago
2005
ACM
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...
IV
2000
IEEE
13 years 12 months ago
2000
IEEE
In the emerging field of E-Commerce we show the great potential interest to create 3D virtual shopping centers. The study of a specific application: the creation of an electric ho...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
Current computational models of visual attention focus on bottom-up information and ignore scene context. However, studies in visual cognition show that humans use context to faci...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...