1057 search results - page 210 / 212 » Testing from Formal Specifications, a Generic Approach |
ICDT
2009
ACM
14 years 6 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
ATAL
2009
Springer
14 years 11 days ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
MHCI
2009
Springer
14 years 10 days ago
2009
Springer
We conducted a user study to investigate the effect of visual context in handheld augmented reality interfaces. A dynamic peephole interface (without visual context beyond the dev...
JCDL
2004
ACM
13 years 11 months ago
2004
ACM
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...
NGC
2000
Springer
13 years 9 months ago
2000
Springer
We examine the use of a hop-limit constraint with techniques to provide survivability for connection-oriented ATM group communications. A hop-limit constraint is an approach that ...