3555 search results - page 342 / 711 » Security-Critical System Development with Extended Use Cases |
206
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we study the problem of utility maximization in P2P systems, in which aggregate application-specific utilities are maximized by running distributed algorithms on P2...
165
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Orthognathic surgery corrects a wide range of minor and major facial and jaw irregularities. This surgery will improve the patients’ ability to chew, speak and breathe. In many ...
205
click to vote
DSD
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
149
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
177
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...