938 search results - page 91 / 188 » Mathematical Modelling the Ethnic System |
91
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
87
Voted
TODAES
1998
15 years 8 days ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
105
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
127
click to vote
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
115
Voted
FUIN
2010
14 years 10 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...