127 search results - page 14 / 26 » SBVR's Approach to Controlled Natural Language |
124
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
122
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
ICTAI
2003
IEEE
15 years 5 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 ...
115
click to vote
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...