Sciweavers

4348 search results - page 182 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 11 months ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
ATAL
2003
Springer
15 years 10 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 3 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
MICCAI
2005
Springer
16 years 6 months ago
Sensor Guided Ablation Procedure of Left Atrial Endocardium
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
Hua Zhong, Takeo Kanade, David Schwartzman
ICCSA
2010
Springer
15 years 2 months ago
An Aspect-Oriented Approach for Mobile Embedded Software Modeling
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
Yong-Yi Fanjiang, Jong-Yih Kuo, Shang-Pin Ma, Wong...