Sciweavers

1511 search results - page 144 / 303
» A Methodology for Developing Agent Based Systems
Sort
View
IJNSEC
2007
154views more  IJNSEC 2007»
15 years 4 months ago
Integrity of mobile agents: a new approach
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
Aneta Zwierko, Zbigniew Kotulski
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
15 years 9 months ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green
IBERAMIA
1998
Springer
15 years 8 months ago
Bayesian Networks for Reliability Analysis of Complex Systems
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis. We developed a general methodology for modelling reliability of complex systems based o...
José G. Torres-Toledano, Luis Enrique Sucar
ECAI
2004
Springer
15 years 9 months ago
An Ontology Based Visual Tool for Query Formulation Support
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, ...
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 9 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler