290 search results - page 20 / 58 » A Metamodeling Approach for Reasoning about Requirements |
85
Voted
ICTAI
2003
IEEE
15 years 2 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
70
Voted
IMC
2004
ACM
15 years 2 months ago
2004
ACM
The Internet is teeming with high variability phenomena, from measured IP flow sizes to aspects of inferred router-level connectivity, but there still exists considerable debate ...
115
click to vote
SOSYM
2002
14 years 9 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
COORDINATION
2000
Springer
15 years 1 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...