Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
JANCL
2000
67views more  JANCL 2000»
11 years 11 months ago
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
Joeri Engelfriet, Jan Treur
KI
2006
Springer
11 years 11 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
APIN
2007
80views more  APIN 2007»
11 years 12 months ago
Specification, analysis and simulation of the dynamics within an organisation
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
AAAI
1998
12 years 1 months ago
A Formal Methodology for Verifying Situated Agents
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
Phan Minh Dung
ICWS
2003
IEEE
12 years 1 months ago
Access Control in Dynamic XML-Based Web-Services with X-RBAC
Policy specification for securing Web services is fast emerging as a key research area due to rapid proliferation of Web services in modern day enterprise applications. Whilst the...
Rafae Bhatti, James Joshi, Elisa Bertino, Arif Gha...
DAGSTUHL
2006
12 years 1 months ago
The Formal Specification Language mCRL2
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
Jan Friso Groote, Aad Mathijssen, Michel A. Renier...
APSEC
2003
IEEE
12 years 3 months ago
Rigorous EBNF-based Definition for a Graphic Modeling Language
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
Yong Xia, Martin Glinz
ANSS
2001
IEEE
12 years 3 months ago
Application of the ATLAS Language in Models of Urban Traffic
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
Andrea Díaz, Verónica Vazquez, Gabri...
FSEN
2009
Springer
12 years 3 months ago
Executable Interface Specifications for Testing Asynchronous Creol Components
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. ...
FASE
2009
Springer
12 years 3 months ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
books