3828 search results - page 235 / 766 » Proof-Based System Engineering Using a Virtual System Model |
163
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
205
click to vote
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
222
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
208
click to vote
PERVASIVE
2004
Springer
16 years 5 days ago
2004
Springer
Most gesture recognition systems analyze gestures intended for communication (e.g. sign language) or for command (e.g. navigation in a virtual world). We attempt instead to recogn...
179
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...