1350 search results - page 25 / 270 » Reasoning about Staged Computation |
LAWEB
2006
IEEE
15 years 3 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
106
click to vote
ESAW
2007
Springer
15 years 3 months ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
EUC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...