10263 search results - page 221 / 2053 » From Use Cases to System Operation Specifications |
205
click to vote
ISSS
2002
IEEE
16 years 3 days ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
212
click to vote
ICML
1995
IEEE
16 years 8 months ago
1995
IEEE
This paper describes an approach to automatically learn planning operators by observing expert solution traces and to further refine the operators through practice in a learning-b...
232
click to vote
CN
1999
15 years 6 months ago
1999
The rapid growth of the World-Wide Web poses unprecedented scaling challenges for general-purpose crawlers and search engines. In this paper we describe a new hypertext resource d...
211
click to vote
DT
2008
15 years 7 months ago
2008
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
209
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...