209 search results - page 9 / 42 » Towards a Systematic Development of Secure Systems |
AGENTS
2000
Springer
14 years 28 days ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
IJNSEC
2006
13 years 8 months ago
2006
Copyright of e-Education material is valuable. The need for protecting it is prominent. In the past two years, we have developed an infrastructure called e-Course eXchange (eCX ) ...
ICFEM
1998
Springer
14 years 24 days ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
SAFECOMP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
PRICAI
2010
Springer
13 years 7 months ago
2010
Springer
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...