1419 search results - page 42 / 284 » Notes on Formalizing Context |
92
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
106
click to vote
IEEESCC
2006
IEEE
15 years 6 months ago
2006
IEEE
Context-aware Web service is an interactive model between the context of service requesters and the services in Web-enabled environments. We envision that providing context-aware ...
SUTC
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose and formally characterize a new problem named the dynamic context coverage problem in capabilityconstrained mobile sensor network environments. The goal is to move and ...
104
click to vote
APCCM
2008
15 years 2 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...