4513 search results - page 314 / 903 » Modeling with a Sense of Purpose |
174
click to vote
KI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
195
click to vote
SASN
2003
ACM
15 years 12 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
192
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
179
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
186
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...