3825 search results - page 403 / 765 » The Language of Time: A Reader |
186
click to vote
VALUETOOLS
2006
ACM
16 years 23 days ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
181
Voted
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
200
click to vote
DSVIS
2005
Springer
16 years 10 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
187
click to vote
EWSA
2005
Springer
16 years 10 days ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
162
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...