6155 search results - page 43 / 1231 » A language for multiple models of computation |
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
BIOINFORMATICS
2012
13 years 3 days ago
2012
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
RE
2009
Springer
15 years 4 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
114
click to vote
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...