10263 search results - page 333 / 2053 » From Use Cases to System Operation Specifications |
152
click to vote
IEAAIE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
204
Voted
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...
175
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
181
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
This work describes a complete indoor location system, from its creation, development and deployment. This location system is a capable way of retrieving the position of wireless d...
205
Voted
JOT
2008
15 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...