4650 search results - page 92 / 930 » Generating and evaluating evaluative arguments |
MIG
2009
Springer
14 years 1 months ago
2009
Springer
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...
HT
1998
ACM
14 years 1 months ago
1998
ACM
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...
PEPM
1998
ACM
14 years 1 months ago
1998
ACM
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...
PEPM
1995
ACM
14 years 14 days ago
1995
ACM
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...
ICDCSW
2011
IEEE
12 years 8 months ago
2011
IEEE
—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...