Sciweavers

2226 search results - page 189 / 446
» Pdk: The System and Its Language
Sort
View
SIES
2007
IEEE
16 years 23 days ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 11 months ago
XML Based Robust Client-Server Communication for a Distributed Telecommunication Management System
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
Karl M. Göschka, Helmut Reis, Robert Smeikal
TAPSOFT
1997
Springer
15 years 10 months ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May
AAAI
2007
15 years 8 months ago
An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
Hendrik Zender, Patric Jensfelt, Óscar Mart...
ICLP
2009
Springer
16 years 1 months ago
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang