2670 search results - page 133 / 534 » Modeling systems with internal state using evolino |
193
click to vote
COOPIS
1995
IEEE
15 years 10 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
152
click to vote
BC
1999
15 years 6 months ago
1999
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
157
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
171
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
218
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...