10159 search results - page 439 / 2032 » System Design Validation Using Formal Models |
161
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
160
click to vote
BRAIN
2010
Springer
15 years 1 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
165
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Multi-hop relaying has attracted considerable attention recently as a key technique for improving cell coverage and throughput in wireless communication. We modelled va...
131
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
138
Voted
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...