1247 search results - page 134 / 250 » Reasoning about Function Objects |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
TCC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. An obfuscation O of a function F should satisfy two requirements: firstly, using O it should be possible to evaluate F; secondly, O should not reveal anything about F th...