1856 search results - page 80 / 372 » Formal Dialectic Specification |
124
Voted
CONTEXT
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
113
Voted
ICDT
1997
ACM
15 years 6 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
114
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
133
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
97
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...