1328 search results - page 126 / 266 » Info Cases: Integrating Use Cases and Domain Models |
IWSOC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
AIME
1997
Springer
15 years 2 months ago
1997
Springer
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
FLAIRS
2007
15 years 10 days ago
2007
Episodic knowledge is often stored in the form of textual narratives written in natural language. However, a large repository of such narratives will contain both repetitive and n...