Sciweavers

2875 search results - page 170 / 575
» Using separation of concerns for embedded systems design
Sort
View
ISOLA
2010
Springer
15 years 2 months ago
Design Choices for High-Confidence Distributed Real-Time Software
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
Sebastian Fischmeister, Akramul Azim
CODES
2005
IEEE
15 years 10 months ago
Power-smart system-on-chip architecture for embedded cryptosystems
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
Radu Muresan, Haleh Vahedi, Y. Zhanrong, Stefano G...
ICFP
2005
ACM
16 years 4 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...
PDPTA
2000
15 years 6 months ago
Design, Implementation, and Experimentation on Mobile Agent Security for Electronic Commerce Applications
In this paper, a Shopping Information Agent System (SIAS) is built based on mobile agent technology. It sends out agents to di erent hosts in an electronic marketplace. The agents ...
Anthony H. W. Chan, Caris K. M. Wong, Tsz Yeung Wo...
QSIC
2005
IEEE
15 years 10 months ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham