1902 search results - page 183 / 381 » Differential Dynamic Logics |
167
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
142
Voted
IEEECIT
2006
IEEE
16 years 21 days ago
2006
IEEE
Data grid is a kind of wide-area, distributed storage system. It can provide huge storage capacity. There are millions of files in data grid, distributed on hundreds of geographi...
156
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
We define a Mobile Database Community (MDBC) as a dynamic collection of autonomous mobile databases in which each database user can access databases in the community through a wir...
185
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
153
click to vote
MICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
The fill unit is the structure which collects blocks of instructions and combines them into multi-block segments for storage in a trace cache. In this paper, we expand the role of...