4350 search results - page 330 / 870 » Case studies for contract-based systems |
201
click to vote
PET
2004
Springer
16 years 2 days ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
192
click to vote
COMPSAC
2003
IEEE
16 years 23 hour ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
172
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
184
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...
158
click to vote
AOIS
2003
15 years 8 months ago
2003
We are developing an approach for P2P information systems, where the peers are modeled as autonomous agents. Agents provide services or give referrals to one another to help find...