4460 search results - page 670 / 892 » Formal methods for interactive systems |
150
click to vote
VISUALIZATION
1992
IEEE
15 years 9 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
236
click to vote
IHI
2012
14 years 12 days ago
2012
Translational bioinformatics increasingly involves the discovery of associations between molecular and phenotype information, with the goal of transforming those discoveries into ...
157
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
137
Voted
HIKM
2006
ACM
15 years 10 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
170
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...