101 search results - page 7 / 21 » Semantics for Model-Based Validation of Continuous Discrete ... |
WSC
2004
14 years 11 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
COMAD
2008
14 years 11 months ago
2008
Orion is a state-of-the-art uncertain database management system that extends the relational model to include probabilistic uncertain data as first call data types. This demonstra...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
106
click to vote
SCP
1998
14 years 9 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...