3799 search results - page 615 / 760 » An Engineering Approach to Formal Methods |
139
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper analyzes the performance of a system architecture for the Authentication, Authorization, and Accounting (AAA), in a scenario where 3G users generate traffic and invo...
141
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
159
Voted
AGILEDC
2006
IEEE
15 years 11 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
148
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
Impenetrable doors are often quite common in virtual worlds. This is especially apparent in video games boasting large urban environments. Although there are often enterable build...
138
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...