11328 search results - page 74 / 2266 » Timed Branching Processes |
138
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
137
click to vote
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
124
click to vote
INFORMATICALT
2006
15 years 3 months ago
2006
We study single machine scheduling problems, where processing times of the jobs are exponential functions of their start times. For increasing functions, we prove strong NP-hardnes...
156
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
146
click to vote
AIPS
2007
15 years 5 months ago
2007
The Manpower Allocation Problem with Time Windows, Job-Teaming Constraints and a limited number of teams (mMAPTWTC) is a crew scheduling problem faced in several different context...