6829 search results - page 1208 / 1366 » Quantitative Generalizations of Languages |
133
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
160
Voted
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings. The system tracks a two perso...
150
Voted
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
123
Voted
IWMM
2004
Springer
15 years 9 months ago
2004
Springer
Many state-of-the-art garbage collectors are generational, collecting the young nursery objects more frequently than old objects. These collectors perform well because young objec...
178
Voted
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...