10159 search results - page 293 / 2032 » System Design Validation Using Formal Models |
124
click to vote
ROBOCUP
2001
Springer
15 years 8 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
137
Voted
JDCTA
2010
14 years 10 months ago
2010
Combining with the characteristics of equestrian sports and the psycho diagnosis technology and using the tools such as Visual Basic, Photoshop, Microsoft Access, Psychodiagnosis ...
141
Voted
ENTCS
2008
15 years 3 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
138
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
155
Voted
ANSS
2007
IEEE
15 years 9 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...