716 search results - page 20 / 144 » Rule Formats for Timed Processes |
132
Voted
TON
2010
15 years 1 months ago
2010
Abstract—In this paper, we seek to understand the intrinsic reasons for the well-known phenomenon of heavy-tailed degree in the Internet AS graph and argue that in contrast to tr...
118
click to vote
WSC
2000
15 years 4 months ago
2000
This paper focuses on the production scheduling in MEMS (Micro-Electro Mechanical System) manufacturing. The whole MEMS production process can be organized into 3 sub-processes, i...
158
click to vote
RULEML
2004
Springer
15 years 8 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
120
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
134
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...