3256 search results - page 468 / 652 » Applications of Formal Methods to System Design and Verifica... |
189
click to vote
JMLR
2012
13 years 7 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
175
click to vote
IADIS
2003
15 years 6 months ago
2003
The HCI subsystem is an essential component of an Information System, whose success inside an organization strongly depend on user acceptance. A good UI design considering usabili...
126
click to vote
USENIX
2001
15 years 6 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
151
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
146
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...