2623 search results - page 231 / 525 » Conceptual Application Domain Modelling |
214
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
210
click to vote
VLSID
2008
IEEE
16 years 28 days ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
184
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper describes an approach to providing lexical information for natural language processing in unrestricted domains. A system of approximately 1200 morphological rules is us...
196
click to vote
WSC
2000
15 years 7 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
172
click to vote
UML
2005
Springer
16 years 17 hour ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...