8623 search results - page 1539 / 1725 » Software engineering for secure systems |
BRAIN
2010
Springer
13 years 6 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
TCOM
2010
13 years 4 months ago
2010
Abstract--The optimization of the pilot overhead in singleuser wireless fading channels is investigated, and the dependence of this overhead on various system parameters of interes...
TCOM
2010
13 years 4 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
SELMAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
SIGSOFT
2002
ACM
14 years 10 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...