2153 search results - page 125 / 431 » From Requirements Models to Formal Specifications in B |
EMNLP
2010
13 years 7 months ago
2010
This paper studies the problem of mining entity translation, specifically, mining English and Chinese name pairs. Existing efforts can be categorized into (a) a transliterationbas...
ESANN
2007
13 years 10 months ago
2007
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
AAI
2000
13 years 9 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...