7206 search results - page 94 / 1442 » Using a Hypermedia System for Systems Engineering |
131
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
139
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
174
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Redundant Arrays of Independent Components (RAIC) is a technology that uses groups of similar or identical distributed components to provide dependable services [1,2,3]. RAIC allo...
146
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
223
click to vote
FORTEST
2008
15 years 7 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...