15974 search results - page 2736 / 3195 » Object-Oriented Software Engineering |
141
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
Light Emitting Diodes (LEDs) offer long life, low cost, efficiency, brightness, and a full range of colors. Because of these properties, they are widely used for simple displays i...
147
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
181
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
142
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
159
click to vote
EUROSPI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...