Sciweavers

2020 search results - page 218 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Autonomic machine control: a case study
This paper describes an autonomic machine control system applied to the adaptive control of a modular soldering machine. The particular case concerns the creation of a novel modul...
Christian Dannegger, Dominic A. P. Greenwood
ECWEB
2004
Springer
177views ECommerce» more  ECWEB 2004»
15 years 12 months ago
Analysis of Mobile Business Processes for the Design of Mobile Information Systems
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
André Köhler, Volker Gruhn
CISST
2003
105views Hardware» more  CISST 2003»
15 years 7 months ago
Modality Conversion in Content Adaptation for Universal Multimedia Access
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
Truong Cong Thang, Yong Ju Jung, Yong Man Ro
ATAL
2003
Springer
15 years 11 months ago
Model checking agentspeak
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
Rafael H. Bordini, Michael Fisher, Carmen Pardavil...
CONCUR
2007
Springer
16 years 19 days ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...