4434 search results - page 217 / 887 » On the Composition of Hybrid Systems |
175
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
200
click to vote
WICSA
2004
15 years 8 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
185
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
Online social production communities allow efficient construction of valuable and high-quality information sources. To be successful, community members must be effective at collab...
232
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
174
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...