14331 search results - page 2569 / 2867 » On the modeling and analysis of obligations |
200
click to vote
APSEC
2000
IEEE
15 years 12 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
179
click to vote
AUIC
2000
IEEE
15 years 12 months ago
2000
IEEE
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
228
Voted
DSN
2000
IEEE
15 years 12 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
218
click to vote
HCW
2000
IEEE
15 years 12 months ago
2000
IEEE
In this work we present the results of a project aimed at assembling an hybrid massively parallel machine, the PQE1 prototype, devoted to the simulation of complex physical models...
192
Voted
ICCAD
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we present simulation techniques to estimate the worst-case voltage variation using a RC model for the power distribution network. Pattern independent maximum envel...