1338 search results - page 112 / 268 » Consistent Code Generation from UML Models |
144
click to vote
BIOID
2008
15 years 5 months ago
2008
Abstract. To implement a biometric authentication scheme, the templates of a group of people are stored in the database (DB) under the names of these people. Some person presents a...
137
Voted
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
136
click to vote
ICC
2009
IEEE
15 years 24 days ago
2009
IEEE
We demonstrate that the gain attained by network coding (NC) on the multicast capacity of random wireless ad hoc networks is bounded by a constant factor. We consider a network wit...
126
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
104
click to vote
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...