6020 search results - page 417 / 1204 » A New Approach to Model Counting |
192
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
166
click to vote
WCE
2007
15 years 8 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
256
click to vote
JSS
2008
15 years 6 months ago
2008
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
171
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The toxicity of an anticancer drug is cleared from the body by different processes, including saturable metabolic and nonsaturable renal-excretion pathways. According to the princ...
186
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...