2108 search results - page 166 / 422 » An Information Model for Nomadic Environments |
173
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
185
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
155
click to vote
CAISE
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
161
click to vote
AH
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We consider the problem of optimizing the trajectory of a mobile sensor with perfect localization whose task is to estimate a stochastic, perhaps multidimensional fiel...