2080 search results - page 201 / 416 » Collections, Cardinalities, and Relations |
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
225
click to vote
ICWSM
2010
15 years 5 months ago
2010
While recent research examined the impressions projected by users of Social Network Sites through their relatively static online profiles, the addition of status updates to Facebo...
104
click to vote
JCT
2010
15 years 5 months ago
2010
We prove a collection of conjectures of D. White [37], as well as some related conjectures of Abuzzahab-Korson-Li-Meyer [1] and of Reiner and White [21], [37], regarding the cyclic...
159
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
143
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...