2702 search results - page 323 / 541 » Practically Applicable Formal Methods |
106
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
121
Voted
FORMATS
2005
Springer
15 years 8 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
DAGM
2004
Springer
15 years 8 months 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...
123
Voted
FMCO
2004
Springer
15 years 8 months 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 ...
131
Voted
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...