3256 search results - page 167 / 652 » Applications of Formal Methods to System Design and Verifica... |
164
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
150
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
222
click to vote
NSPW
1998
ACM
15 years 10 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
220
click to vote
STORYTELLING
2005
Springer
15 years 12 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
158
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough. There are some corporations that are famous for their usable p...