2291 search results - page 230 / 459 » Representational Reasoning and Verification |
91
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
140
click to vote
TLDI
2010
ACM
15 years 29 days ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
120
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
115
click to vote
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
126
click to vote
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...