Sciweavers

2092 search results - page 142 / 419
» A domain specific modeling language for multiagent systems
Sort
View
195
Voted
TPHOL
1998
IEEE
15 years 11 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
197
Voted
E4MAS
2004
Springer
16 years 11 days ago
A Spatially Dependent Communication Model for Ubiquitous Systems
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
ICCS
2005
Springer
16 years 15 days ago
Language Technologies Meet Ontology Acquisition
This paper overviews and analyses the on-going research attempts to apply language technologies to automatic ontology acquisition. At first glance there are many successful approac...
Galia Angelova
167
Voted
CCIA
2007
Springer
16 years 1 months ago
On the Multimodal Logic of Elementary Normative Systems
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
Pilar Dellunde
TISSEC
2010
142views more  TISSEC 2010»
15 years 1 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...