4212 search results - page 343 / 843 » Rights Expression Languages |
155
click to vote
COSIT
2007
Springer
16 years 27 days ago
2007
Springer
This paper discusses the conceptualization of turn directions along traveled routes. Foremost, we are interested in the influence that language has on the conceptualization of turn...
177
click to vote
ICALT
2006
IEEE
16 years 23 days ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
182
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
178
click to vote
ISCIS
2004
Springer
16 years 2 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
211
Voted
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...