9110 search results - page 298 / 1822 » Formally-Based Design Evaluation |
155
click to vote
IWCMC
2006
ACM
16 years 16 days ago
2006
ACM
The employment of the OFDMA transmission technique in broadband radio systems shows several benefits. Especially the exploitation of multi-user diversity with the help of sophisti...
213
click to vote
VEE
2006
ACM
16 years 16 days ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
175
click to vote
WETICE
2005
IEEE
16 years 4 days ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
202
click to vote
WOSP
2005
ACM
16 years 4 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
195
click to vote
ICMI
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we present DaFEx (Database of Facial Expressions), a database created with the purpose of providing a benchmark for the evaluation of the facial expressivity of Embo...