2830 search results - page 507 / 566 » A Development Tool for E-learning Applications |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
This paper presents a platform in which interaction designers can effectively and rapidly develop tangible interactive prototypes by sketching. The study aims to build a platform ...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
SOSP
2003
ACM
14 years 5 months ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...