3256 search results - page 182 / 652 » Applications of Formal Methods to System Design and Verifica... |
167
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...
151
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
152
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...
142
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
154
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...