917 search results - page 34 / 184 » Application reviews |
176
click to vote
CAD
2010
Springer
15 years 4 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
129
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
129
click to vote
FGCN
2008
IEEE
15 years 11 months ago
2008
IEEE
The purpose of this this research is to suggest comprehensive pricing schemata that software developers can use in the integrated state of software uses. To do so, we have reviewe...
138
click to vote
ANOR
2008
15 years 4 months ago
2008
This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strai...
143
click to vote
CISC
2008
Springer
15 years 6 months ago
2008
Springer
The notion of anonymous signatures has recently been formalized by [18], which captures an interesting property that a digital signature can sometimes hide the identity of the sign...