170 search results - page 24 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
146
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
118
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
118
Voted
IUI
1993
ACM
15 years 7 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
137
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
149
click to vote
JAIR
1998
15 years 3 months ago
1998
This paper presents a general and efficient framework for probabilistic inference and learning from arbitrary uncertain information. It exploits the calculation properties of fini...