5200 search results - page 676 / 1040 » Symbolic models for control systems |
186
click to vote
PIMRC
2008
IEEE
16 years 2 months ago
2008
IEEE
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...
156
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
200
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
236
click to vote
PEWASUN
2005
ACM
16 years 1 months ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...
254
click to vote
KBSE
2000
IEEE
16 years 4 hour ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...