588 search results - page 79 / 118 » Differential Logic for Reasoning About Hybrid Systems |
ENTCS
2008
15 years 1 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
116
click to vote
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
107
click to vote
JALC
2006
15 years 1 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
115
click to vote
LISP
2002
15 years 1 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
115
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...