3522 search results - page 128 / 705 » Modeling and Aspect Weaving |
SDL
2007
13 years 11 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
ETS
2002
IEEE
13 years 9 months ago
2002
IEEE
Educational theorists have long associated distance education with self-study. In recent years, however, increasingly advanced technologies have made it possible to conduct distan...
ASE
1998
13 years 9 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
SYNTHESE
2010
13 years 8 months ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...
AB
2008
Springer
14 years 4 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...