23 search results - page 5 / 5 » Validation of Policy Integration Using Alloy |
IWAN
2000
Springer
14 years 2 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
CASES
2005
ACM
14 years 22 days ago
2005
ACM
In this work, we propose and investigate the idea of enhancing a System-on-Chip (SoC) communication architecture (the fabric that integrates system components and carries the comm...
ATMOS
2008
14 years 9 days ago
2008
Abstract. The search for train connections in state-of-the-art commercial timetable information systems is based on a static schedule. Unfortunately, public transportation systems ...