Sciweavers

348 search results - page 63 / 70
» Formal ontologies for communicating agents
Sort
View
ESAW
2009
Springer
15 years 4 months ago
Engineering Social Reality with Inheritance Relations
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
Huib Aldewereld, Sergio Álvarez-Napagao, Fr...
BIS
2010
185views Business» more  BIS 2010»
14 years 7 months ago
From Economic Drivers to B2B Process Models: A Mapping from REA to UMM
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
Rainer Schuster, Thomas Motal, Christian Huemer, H...
SEMWIKI
2008
154views Data Mining» more  SEMWIKI 2008»
14 years 10 months ago
Flyspeck in a Semantic Wiki
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
Christoph Lange 0002, Sean McLaughlin, Florian Rab...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 2 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
SAC
2000
ACM
15 years 1 months ago
Making Tuple Spaces Safe for Heterogeneous Distributed Systems
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
Naftaly H. Minsky, Yaron Minsky, Victoria Ungurean...