2880 search results - page 73 / 576 » context 2007 |
100
Voted
ENTCS
2007
15 years 18 days ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
214
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
100
Voted
SWWS
2007
15 years 2 months ago
2007
- In recent years, computing becomes more mobile and pervasive; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly d...
93
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper illustrates a novel decision making algorithm to deliver telecommunication services that match in the best possible way end-user’s requirements to current environm...
87
Voted
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Software maintenance is a highly collaborative activity whose social context is rarely addressed. To explore this context, we conducted an ethnographic study at a large technology...