3828 search results - page 235 / 766 » Proof-Based System Engineering Using a Virtual System Model |
158
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...
192
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...
206
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...
198
click to vote
PERVASIVE
2004
Springer
15 years 12 months 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...
170
click to vote
CAISE
2004
Springer
15 years 12 months 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 ...