2419 search results - page 448 / 484 » A Formal Approach to Software Testing |
WWW
2008
ACM
14 years 8 months ago
2008
ACM
The use of communities provides a scalable solution for gathering and managing functionally-equivalent Web services. In order to ensure single access to the community, a community...
CC
2009
Springer
14 years 8 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
EVOW
2010
Springer
14 years 2 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— A novel parallel approach to run standard particle swarm optimization (SPSO) on Graphic Processing Unit (GPU) is presented in this paper. By using the general-purpose computing...