10159 search results - page 620 / 2032 » System Design Validation Using Formal Models |
167
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
191
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...
181
click to vote
IJCIM
2002
15 years 6 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
240
click to vote
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
206
click to vote
ECAL
2003
Springer
16 years 10 days ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...