10275 search results - page 50 / 2055 » Case Studies of Autonomy |
ICADL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Over the last years, digital preservation has become a particularly active research area. While several initiatives are dealing with the preservation of standard document...
101
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
SEFM
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
DIGITALCITIES
2003
Springer
15 years 5 months ago
2003
Springer
The development of case studies in selected Portuguese cities and regions which have been engaged in “digital city” projects is considered in this paper in a way to discuss mai...