3779 search results - page 578 / 756 » Linear Consistency Testing |
123
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
136
click to vote
NCA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
144
Voted
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
134
click to vote
NETGAMES
2005
ACM
15 years 9 months ago
2005
ACM
In this position paper we propose an evaluation framework for networked mobile gaming, consisting of user, group, communication, and environment models. Each of these components a...
125
click to vote
ACII
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present an evaluation study for DaFEx (Database of Facial Expressions), a database created with the purpose of providing a benchmark for the evaluation of the faci...