4211 search results - page 509 / 843 » A formal approach to MASQ |
209
click to vote
GEOS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
157
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
162
click to vote
WETICE
2006
IEEE
16 years 23 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
186
click to vote
WSE
2006
IEEE
16 years 23 days ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
158
click to vote
EUROGP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...