1216 search results - page 150 / 244 » Modelling Safe Interface Interactions in Web Applications |
TOOLS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
When camera phones are used as magic lenses in handheld augmented reality applications involving wall maps or posters, pointing can be divided into two phases: (1) an initial coar...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Web-based communities have become important places for people to seek and share expertise. We find that networks in these communities typically differ in their topology from other...
ACMDIS
2010
ACM
14 years 10 months ago
2010
ACM
When using the computer, each user has some notion that "these applications are important" at a given point in time. We term this subset of applications that the user va...
FORTE
2003
14 years 11 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...