Sciweavers

6693 search results - page 753 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
FASE
2007
Springer
16 years 24 days ago
Contract-Driven Development
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
Bertrand Meyer
ACMACE
2006
ACM
16 years 19 days ago
3D object modelling for entertainment applications
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
Yi Song, Li Bai, Yangsheng Wang
CHINZ
2006
ACM
16 years 18 days ago
Digital backpacking in the museum with a SmartCard
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media and our experiences with the methodic approach employed. As a central elemen...
Eva Hornecker, Matthias Stifter
ICMCS
2005
IEEE
136views Multimedia» more  ICMCS 2005»
16 years 7 days ago
Human Posture Recognition with Convex Programming
We present a novel human posture recognition method using convex programming based matching schemes. Instead of trying to segment the object from the background, we develop a nove...
Hao Jiang, Ze-Nian Li, Mark S. Drew
UML
2005
Springer
16 years 3 days ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...