2419 search results - page 448 / 484 » A Formal Approach to Software Testing |
120
click to vote
WWW
2008
ACM
16 years 3 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...
212
Voted
CC
2009
Springer
16 years 3 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...
120
Voted
CHI
2007
ACM
16 years 2 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...
120
Voted
EVOW
2010
Springer
15 years 9 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 ...
106
Voted
CEC
2009
IEEE
15 years 9 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...