Sciweavers

4650 search results - page 92 / 930
» Generating and evaluating evaluative arguments
Sort
View
137
Voted
MIG
2009
Springer
15 years 6 months ago
Data Driven Evaluation of Crowds
There are various techniques for simulating crowds, however, in most cases the quality of the simulation is measured by examining its “look-and-feel”. Even if the aggregate mov...
Alon Lerner, Yiorgos Chrysanthou, Ariel Shamir, Da...
HT
1998
ACM
15 years 5 months ago
Evaluation of Hypermedia Application Development and Management Systems
In this paper we propose and study a framework for evaluating Hypermedia Application Development and Management Systems (HADMS) in relation to specific application requirements. W...
Sotiris P. Christodoulou, Georgios D. Styliaras, T...
128
Voted
PEPM
1998
ACM
15 years 5 months ago
Type-Directed Partial Evaluation
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
Olivier Danvy
PEPM
1995
ACM
15 years 5 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
Michael Leuschel, Danny De Schreye
ICDCSW
2011
IEEE
14 years 1 months ago
SenSec: A Scalable and Accurate Framework for Wireless Sensor Network Security Evaluation
—Developing secure wireless sensor networks (WSNs) is a complex process that involves careful design of attack test cases and security countermeasures, as well as meaningful eval...
Yi-Tao Wang, Rajive Bagrodia