652 search results - page 10 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
113
click to vote
CCS
2008
ACM
15 years 21 days ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
ECBS
2000
IEEE
15 years 3 months ago
2000
IEEE
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
116
click to vote
IFIP13
2004
15 years 2 days ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
ANLP
2000
15 years 1 days ago
2000
This paper introduces an approach to representing the kinds of information that components in a natural language generation (NLG) system will need to communicate to one another. T...
DGO
2009
14 years 11 months ago
2009
Impact assessment (IA) is a key method for the legislator to evaluate policies, norms or regulations currently under development. Experts use IA to gather and analyze input from m...