2373 search results - page 35 / 475 » The Design of the Zinc Modelling Language |
160
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
115
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
PERCOM
2007
ACM
16 years 29 days ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...
107
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
110
click to vote
ICEBE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...