4666 search results - page 137 / 934 » Equations on Timed Languages |
114
click to vote
ENTCS
2008
15 years 5 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
138
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
157
click to vote
ENTCS
2010
15 years 5 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
165
click to vote
JCNS
1998
15 years 5 months ago
1998
An analytical approach is presented for determining the response of a neuron or of the activity in a network of connected neurons, represented by systems of nonlinear ordinary stoc...
170
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...