4890 search results - page 46 / 978 » From system specifications to component behavioral models |
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
OODBS
1992
15 years 1 months ago
1992
An approach and mechanismto support the sharing of behavior amongthe component database systems in a federation is described. In the context of a functional object-based database ...
WICSA
2008
14 years 11 months ago
2008
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...