9006 search results - page 1266 / 1802 » Modeling Software |
193
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Autonomic networks are able to monitor and control themselves without direct human intervention. The smallest unit of an autonomic network is the autonomic element (AE). This work...
207
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
160
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
183
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
189
Voted
MTSR
2007
Springer
16 years 1 months ago
2007
Springer
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...