1161 search results - page 9 / 233 » Resource Modeling for Timed Creol Models |
EAAI
2008
14 years 11 months ago
2008
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
We define and develop a solution approach for planning, scheduling and managing project efforts where there is significant uncertainty in the duration, resource requirements and o...
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
137
click to vote
RTSS
1992
IEEE
15 years 3 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
115
click to vote
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
A new class of applications can now be envisaged with the emergence of both mobile ad hoc computing and ubiquitous computing. Applications of such kind are characterised by being ...