5113 search results - page 651 / 1023 » Model-integrated system development: models, architecture, a... |
151
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
204
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
135
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: Business models involving buyers of digital goods in the distribution process are called superdistribution schemes. We review the state-of-the art of research and application of ...
193
click to vote
INTEGRATION
2010
15 years 5 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...