3357 search results - page 84 / 672 » Controlling Complexity |
107
click to vote
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
ICES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Simple one- and two-bit controllable oscillators were intrinsically evolved using only four cells of Field Programmable Transistor Array (FPTA-2). These oscillators can p...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— Capitalizing on advances in CMOS and MEMS technologies, microrobots have the potential to dramatically change many aspects of medicine by navigating bodily fluids to perform t...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— We propose a new internetworking architecture that represents a departure from current philosophy and practice, as a contribution to the ongoing debate regarding the future Int...
ECRTS
2007
IEEE
15 years 4 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...