4799 search results - page 842 / 960 » Model Based Requirements Engineering for Embedded Software |
191
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
158
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Pervasive services may be defined as services that are available to any client (anytime, anywhere). Here we focus on the software and network infrastructure required to support pe...
186
click to vote
TCOM
2010
15 years 1 months ago
2010
Fair weights have been implemented to maintain fairness in recent resource allocation schemes. However, designing fair weights for multiservice wireless networks is not trivial bec...
200
click to vote
CIVR
2010
Springer
15 years 11 months ago
2010
Springer
This paper describes an approach to optimize query by visual example results, by combining visual features and implicit user feedback in interactive video retrieval. To this end, ...