130 search results - page 24 / 26 » Verified Software: Theories, Tools, Experiments |
VRST
2003
ACM
14 years 21 days ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
ICSE
2010
IEEE-ACM
14 years 7 days ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...
TSC
2008
13 years 7 months ago
2008
Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...