3799 search results - page 509 / 760 » An Engineering Approach to Formal Methods |
147
click to vote
CAV
2004
Springer
16 years 23 hour ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
182
click to vote
CAV
2004
Springer
16 years 23 hour ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
144
click to vote
DAGM
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...
153
click to vote
EUSAI
2004
Springer
16 years 15 hour ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
179
click to vote
FMCO
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...