1940 search results - page 105 / 388 » The Dynamic Logic of Permission |
164
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
168
click to vote
ICS
2003
Tsinghua U.
15 years 11 months ago
2003
Tsinghua U.
Recent work in low-latency, high-bandwidth communication systems has resulted in building user–level Network InControllers (NICs) and communication abstractions that support dir...
202
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
Online Analytical Processing (OLAP) is a popular technique for explorative data analysis. Usually, a fixed set of dimensions (such as time, place, etc.) is used to explore and ana...
184
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
We consider the problem of finding a maximum number of disjoint paths for unit disks moving amidst static or dynamic obstacles. For the static case we give efficient exact algorit...
181
click to vote
WICON
2008
15 years 8 months ago
2008
Many researchers have been focusing on the outcomes and consequences of the rapid increase and proliferation of mobile wireless technologies. If it is not already the case, it wil...