6957 search results - page 1090 / 1392 » Planning before plans |
171
click to vote
MDM
2004
Springer
16 years 3 days ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
185
click to vote
MIDDLEWARE
2004
Springer
16 years 3 days ago
2004
Springer
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...
185
click to vote
PERVASIVE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
167
click to vote
SAT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
162
click to vote
SEKE
2004
Springer
16 years 3 days ago
2004
Springer
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...