5599 search results - page 673 / 1120 » Abstract State Services |
194
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
214
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
190
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
185
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
155
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents a brief tutorial and background on implementing filter banks for spectrum sensing. It discusses the advantages of this approach over standard FFT-base...