3799 search results - page 476 / 760 » An Engineering Approach to Formal Methods |
203
click to vote
ELECTRONICMARKETS
2011
15 years 1 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
183
click to vote
SAS
2009
Springer
16 years 1 months ago
2009
Springer
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...
196
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
209
click to vote
JIPS
2010
15 years 1 months ago
2010
Spatio-temporal patterns extracted from historical trajectories of moving objects reveal important knowledge about movement behavior for high quality LBS services. Existing approac...
164
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...