6800 search results - page 593 / 1360 » Testing with Functions as Specifications |
223
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
200
click to vote
TRIDENTCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. This paper describes AutoNetkit, an auto-configuration tool for complex network emulations using Netkit, allowing large-scale networks to be tested on commodity hardware....
198
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
204
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we investigate the process of searching for images of specified people in the consumer family photo domain. This domain is very different from the controlled enviro...
181
click to vote
JTAER
2010
15 years 2 months ago
2010
This study examines online brand trust and its influencing factors in the specific context of online air ticket buyers in Malaysia. Summarizing academic literature on online brand...