1524 search results - page 210 / 305 » Operational Semantics of Hybrid Systems |
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
ICEIS
2002
IEEE
15 years 2 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
SAS
1999
Springer
15 years 2 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
102
click to vote
ANLP
1994
14 years 11 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...