3256 search results - page 284 / 652 » Applications of Formal Methods to System Design and Verifica... |
174
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
167
click to vote
AAAI
1990
15 years 7 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
203
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
165
Voted
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
151
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...