301 search results - page 44 / 61 » Process Modelling to Support Dependability Arguments |
ICECCS
2008
IEEE
15 years 6 months ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
CRIWG
2007
15 years 1 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
117
click to vote
SCP
2010
14 years 6 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
104
click to vote
IJCAI
1989
15 years 28 days ago
1989
Existing explanation facilities are typically far more appropriate for knowledge engineers engaged in system maintenance than for endusers of the system. This is because the expla...
104
click to vote
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...