5200 search results - page 748 / 1040 » Symbolic models for control systems |
201
click to vote
APSEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
223
click to vote
ISSS
2002
IEEE
16 years 10 days ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
228
click to vote
BC
2005
15 years 7 months ago
2005
Abstract Weproposeacomputationalmodelofcontourintegration for visual saliency. The model uses biologically plausible devices to simulate how the representations of elements aligned...
288
click to vote
JUCS
2010
15 years 2 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
180
click to vote
BIOWIRE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this chapter we survey the most recent proposals for modelling user mobility in mobile pervasive networks, and specifically in opportunistic networks. We identify two...