6800 search results - page 724 / 1360 » Testing with Functions as Specifications |
213
click to vote
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
The JXTA-Overlay project is an effort to use JXTA technology to provide a generic set of functionalities that can be used by developers to deploy P2P applications. Since its desig...
166
click to vote
ACMACE
2010
ACM
15 years 2 months ago
2010
ACM
Concert Viewing Headphones, which are equipped with a projector, an inclination sensor, and a distance sensor for zoom control, have been developed. These headphones enable a user...
179
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
259
click to vote
COMMA
2010
15 years 2 months ago
2010
Abstract. Software tools for working with argument generally exist as large systems that wrap their entire feature set in the application as a whole. This approach, while perfectly...
159
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Multi-access networks may exhibit severe unfairness in throughput, in the sense that some nodes receive structurally higher throughput than others. Recent studies show that this u...