15885 search results - page 2714 / 3177 » The Modest Software Engineer |
172
click to vote
SIGDOC
2004
ACM
16 years 7 days ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
146
click to vote
UIST
2004
ACM
16 years 7 days 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...
157
click to vote
CCS
2004
ACM
16 years 6 days 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...
204
click to vote
EMSOFT
2004
Springer
16 years 6 days 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...
157
click to vote
EMSOFT
2004
Springer
16 years 6 days 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...