Sciweavers

3914 search results - page 157 / 783
» Automating SLA modeling
Sort
View
SEKE
2004
Springer
14 years 1 months ago
UCDA: Use Case Driven Development Assistant Tool for Class Model Generation
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
Kalaivani Subramaniam, Dong Liu, Behrouz Homayoun ...
DAC
1998
ACM
14 years 9 months ago
Virtual Chip: Making Functional Models Work on Real Target Systems
Namseung Kim, Hoon Choi, Seungjong Lee, Seungwang ...
DAC
2000
ACM
14 years 9 months ago
YAPI: application modeling for signal processing systems
Erwin A. de Kock, W. J. M. Smits, Pieter van der W...
ESSLLI
1999
Springer
14 years 8 days ago
A Dynamic View on Model Construction for Discourse Interpretation
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
Michael Kuhn
FLAIRS
2006
13 years 9 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili