1499 search results - page 173 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
161
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
165
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
186
click to vote
NC
1998
15 years 7 months ago
1998
This paper reports the results of experiments in complex Arabic phonetic features identification using a rulebased system (SARPH) and modular connectionist architectures. The firs...
178
click to vote
ISVLSI
2008
IEEE
16 years 28 days ago
2008
IEEE
Scalability of architecture, programming model and task control management will be a major challenge for future VLSI systems. In this context, homogeneous MPSOC is a seducing appr...
199
click to vote
ESAW
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...