1856 search results - page 158 / 372 » Formal Dialectic Specification |
148
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
127
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
134
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
123
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
145
click to vote
FORTE
2007
15 years 6 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...