2317 search results - page 205 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
124
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
125
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
117
Voted
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
162
click to vote
SMC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Closed Circuit Television systems in shopping malls could be used to monitor the shopping behavior of people. From the tracked path, features can be extracted such as the relati...
122
click to vote
ACL
2006
15 years 5 months ago
2006
We introduce a new multi-threaded parsing algorithm on unification grammars designed specifically for multimodal interaction and noisy environments. By lifting some traditional co...