900 search results - page 96 / 180 » A Tool-Supported Approach to Testing UML Design Models |
148
Voted
CJ
2004
15 years 3 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
122
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
121
Voted
ICWL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
137
Voted
FPGA
2010
ACM
15 years 1 months ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...
122
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...