1525 search results - page 179 / 305 » Formal Models for Communication-Based Design |
91
Voted
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
106
click to vote
AIED
2005
Springer
15 years 6 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
98
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
COLLABORATION
1999
Springer
15 years 5 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
102
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...