799 search results - page 95 / 160 » Generating Reliable Code from Hybrid-Systems Models |
IJCSA
2008
13 years 10 months ago
2008
: Ubiquitous integrated computing makes possible new workflow processes and business models which can meet the challenges from the fast growing digital convergence. An integrated i...
IJPP
2006
13 years 10 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
We evaluate the anonymity provided by two popular email mix implementations, Mixmaster and Reliable, and compare their effectiveness through the use of simulations which model th...
EDOC
2002
IEEE
14 years 2 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
ICCV
2007
IEEE
14 years 4 months ago
2007
IEEE
This article proposes an active basis model and a shared pursuit algorithm for learning deformable templates from image patches of various object categories. In our generative mod...