1525 search results - page 62 / 305 » Formal Models for Communication-Based Design |
138
Voted
ISPDC
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
83
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
110
Voted
AGTIVE
1999
Springer
15 years 4 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
101
Voted
CN
2002
15 years 12 days ago
2002
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
108
click to vote
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...