Sciweavers

7475 search results - page 347 / 1495
» Supporting use case based requirements engineering
Sort
View
WISE
2000
Springer
15 years 11 months ago
Searching the Web Using a Map
Most Internet search engines are keyword-based. They are not efficient for the queries where geographical location is important, such as finding hotels within an area or close to ...
Joseph D. Yates, Xiaofang Zhou
CASES
2003
ACM
15 years 10 months ago
A hierarchical approach for energy efficient application design using heterogeneous embedded systems
Several features such as reconfiguration, voltage and frequency scaling, low-power operating states, duty-cycling, etc. are exploited for latency and energy efficient application ...
Sumit Mohanty, Viktor K. Prasanna
EDBTW
2006
Springer
15 years 10 months ago
Context Consistency Management Using Ontology Based Model
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
Yingyi Bu, Shaxun Chen, Jun Li, XianPing Tao, Jian...
ICSR
2009
Springer
15 years 4 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...
IUI
2003
ACM
15 years 12 months ago
Supporting plan authoring and analysis
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
Jihie Kim, Jim Blythe