5630 search results - page 163 / 1126 » Computability in Specification |
128
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
140
click to vote
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
140
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
124
click to vote
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
Transcription factor (TF) binding to its DNA target site is a fundamental regulatory interaction. The most common model used to represent TF binding specificities is a position spe...
115
click to vote
PSB
2010
15 years 2 months ago
2010
rmed at a conceptual level, in terms of abstract biochemical reactions