2324 search results - page 276 / 465 » Benchmark Generation Using Domain Specific Modeling |
115
click to vote
FOSAD
2000
Springer
15 years 6 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
145
Voted
CUZA
2002
15 years 2 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
104
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
119
click to vote
TASLP
2002
15 years 2 months ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
129
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...