2643 search results - page 84 / 529 » Higher order messaging |
143
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
133
click to vote
MTSR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
140
click to vote
EJIS
2007
15 years 4 months ago
2007
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
120
Voted
ALGORITHMICA
2005
15 years 4 months ago
2005
This paper focuses on space efficient representations of rooted trees that permit basic navigation in constant time. While most of the previous work has focused on binary trees, w...
131
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a time division multiple access medium access control protocol for wireless sensor / actuator networks implemented with a contention-free message scheduler. A ...