5227 search results - page 852 / 1046 » Enterprise modeling using class and instance models |
150
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
160
click to vote
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Artificial selection of microbial ecosystems for their collective function has been shown to be effective in laboratory experiments. In previous work, we used evolutionar...
169
Voted
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
176
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
149
click to vote
HPCN
1995
Springer
15 years 9 months ago
1995
Springer
Many problems in several fields like physics, chemistry, biology and engineering lack an analytical solution able to provide a satisfactory phenomena description. Then a numerical...