3256 search results - page 101 / 652 » Applications of Formal Methods to System Design and Verifica... |
166
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
215
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
136
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
151
Voted
MCS
2008
Springer
15 years 4 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
95
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...