1524 search results - page 15 / 305 » Operational Semantics of Hybrid Systems |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
92
Voted
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
101
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
ENTCS
2007
14 years 9 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...