3515 search results - page 695 / 703 » On the semantics of Strategy Logic |
165
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a transaction-time HTTP server, called ? Apache that supports document versioning. A document often consists of a main file formatted in HTML or XML and severa...
144
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...
147
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
168
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Few systems combine both Embodied Conversational Agents (ECAs) and multimodal input. This research aims at modeling the behavior of adults and children during their multimodal int...
252
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
A primary challenge to large-scale data integration is creating semantic equivalences between elements from different data sources that correspond to the same real-world entity or...