2748 search results - page 107 / 550 » Generating Object-Z Specifications from Use Cases |
DAC
1999
ACM
14 years 11 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Researchers have cogently presented the technical case for converged telecommunications systems. However, it is not clear how market-based telecommunications providers are embraci...
EWCBR
2008
Springer
13 years 11 months ago
2008
Springer
The domain of cookery has been of interest for Case-Based Reasoning (CBR) research for many years since the CHEF case-based planning system in the mid 1980s. This paper returns to ...
LREC
2008
13 years 11 months ago
2008
We have performed a set of experiments made to investigate the utility of morphological analysis to improve retrieval of documents written in languages with relatively large morph...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper presents a case study of learning to select behavioral primitives and generate subgoals from observation and practice. Our approach uses local features to generalize...