3514 search results - page 220 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
125
click to vote
BIOADIT
2004
Springer
15 years 8 months ago
2004
Springer
We present a detailed account of the processing that occurs within a biologically-inspired model for visual homing. The Corner Gradient Snapshot Model (CGSM) initially presented in...
174
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
125
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
132
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
127
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...