4451 search results - page 532 / 891 » Continuous model synthesis |
182
Voted
CGF
2010
15 years 7 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
213
Voted
ENTCS
2008
15 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
195
Voted
BMCBI
2006
15 years 7 months ago
2006
Background: There is an ever increasing rate of data made available on genetic variation, transcriptomes and proteomes. Similarly, a growing variety of bioinformatic programs are ...
194
Voted
COMCOM
2008
15 years 6 months ago
2008
Active worms continue to pose major threats to the security of today's Internet. This is due to the ability of active worms to automatically propagate themselves and compromi...
176
Voted
MMMACNS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...