1636 search results - page 17 / 328 » Reasoning About Quantum Systems |
100
click to vote
SCP
2002
15 years 1 months ago
2002
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to suppo...
108
Voted
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
139
Voted
COSIT
1999
Springer
15 years 6 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
99
Voted
CI
1998
15 years 1 months ago
1998
A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combi...
123
click to vote
ENTCS
2008
15 years 1 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...