1900 search results - page 66 / 380 » The Four Phase Method for Modelling Complex Systems |
AAAI
2006
14 years 11 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
108
click to vote
NFM
2011
14 years 4 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
118
click to vote
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
ISCAS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Synchronization phenomena in coupled oscillatory systems are very important model to describe various higherdimensional nonlinear phenomena in the field of natural science. In...