2546 search results - page 338 / 510 » In support of city exploration |
171
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
154
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
148
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Investigating whether one can view Web searching as a learning process, we examined the searching characteristics of 41 participants engaged in 246 searching tasks. We classified ...
147
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Understanding the extent to which people'ssearch behaviors differ in terms of the interaction flow and information targeted is important in designing interfaces to help World...
176
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Domain ontology has been used in many Semantic Web applications. However, few applications explore the use of ontology for personalized services. This paper proposes an ontology b...