7080 search results - page 1211 / 1416 » Designing High Integrity Systems Using Aspects |
159
click to vote
CGF
2008
15 years 7 months ago
2008
We advocate the use of quickly-adjustable, computer-controlled color spectra in photography, lighting and displays. We present an optical relay system that allows mechanical or el...
178
click to vote
IJMMS
2008
15 years 7 months ago
2008
Mature eXtreme programming (XP) teams are highly collaborative and self-organising. In previous studies, we have observed that these teams rely on two apparently simple mechanisms...
210
click to vote
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
Mobile phones have evolved into complex systems as they have more and more new applications built-in. As a result, they are less reliable and less secure than before. Virtual Mach...
186
click to vote
CASSIS
2004
Springer
16 years 15 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
210
Voted
ARTQOS
2003
Springer
15 years 10 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...