4520 search results - page 262 / 904 » Algebraic Techniques for Timed Systems |
229
click to vote
SIAMDM
2010
15 years 2 months ago
2010
Abstract. Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not in...
189
click to vote
ISSAC
1995
Springer
15 years 10 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
202
click to vote
NDJFL
1998
15 years 7 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
195
click to vote
SIGMETRICS
2003
ACM
16 years 15 days ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
222
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...