359 search results - page 28 / 72 » A Formal Model of the Process of Wayfinding in Built Environ... |
198
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
150
click to vote
MODELS
2007
Springer
16 years 10 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
176
click to vote
EKAW
2010
Springer
15 years 4 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
152
click to vote
ISPDC
2006
IEEE
16 years 6 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
175
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...