13489 search results - page 455 / 2698 » Operating System |
154
click to vote
IJBC
2008
15 years 6 months ago
2008
The paper deals with time-scaling transformations of dynamical systems. Such scaling functions operate a change of coordinates on the time axis of the system trajectories preservi...
220
click to vote
JLP
2010
15 years 1 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
161
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
181
click to vote
SENSYS
2006
ACM
16 years 24 days ago
2006
ACM
Recent gains in energy-efficiency of new-generation NAND flash storage have strengthened the case for in-network storage by data-centric sensor network applications. This paper ...
194
click to vote
SQJ
2008
15 years 6 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...