4212 search results - page 732 / 843 » Rights Expression Languages |
173
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
178
click to vote
ROMAN
2007
IEEE
16 years 12 days ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
164
click to vote
RTSS
2007
IEEE
16 years 12 days ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
185
click to vote
SECON
2007
IEEE
16 years 12 days ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
155
click to vote
ADAEUROPE
2007
Springer
16 years 9 days ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...