2519 search results - page 251 / 504 » Reasoning with Textual Cases |
184
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time systems are often designed using preemptive scheduling to guarantee the execution of high priority tasks. For multiple reasons there is a great interest in exploring non...
170
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
148
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
183
click to vote
ICSOC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
182
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...