Sciweavers

469 search results - page 11 / 94
» Process Algebras for Collective Dynamics
Sort
View
MABS
2005
Springer
15 years 5 months ago
Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence
This paper addresses the question to what extent a process involving multiple agents that shows some form of collective intelligence can be interpreted as a single agent. The quest...
Tibor Bosse, Jan Treur
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 1 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
MKM
2005
Springer
15 years 5 months ago
Processing Textbook-Style Matrices
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
Alan P. Sexton, Volker Sorge
IIE
2006
130views more  IIE 2006»
14 years 11 months ago
Animation Tools of CAS for Dynamic Exploration of Mathematics
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
Joana Lipeikiene, Antanas Lipeika
RML
2002
99views Business» more  RML 2002»
14 years 11 months ago
A System for Querying and Viewing Business Constraints
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
Mizuho Iwaihara, Masayuki Kozawa, Jun Narazaki, Ya...