2057 search results - page 395 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
BMCBI
2006
13 years 7 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
JACM
2002
13 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Based on our previously developed tuning procedure for fractional order proportional integral controller (FO-PI), we present in this paper an extensive comparative experimental...