10159 search results - page 295 / 2032 » System Design Validation Using Formal Models |
146
Voted
INFSOF
2000
15 years 3 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
146
Voted
AAMAS
2008
Springer
15 years 3 months ago
2008
Springer
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
150
click to vote
NGITS
1999
Springer
15 years 7 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
131
click to vote
NOMS
2002
IEEE
2002
IEEE
Design of a network level management information model for automatically switched transport networks
15 years 8 months ago
The concept of Automatically Switched Transport Networks (ASTN) combines elements of distributed connection management from the IP world with classical transport network functiona...
119
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...