2834 search results - page 474 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
ICDCS
2010
IEEE
14 years 1 months ago
2010
IEEE
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
FMICS
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
ICSE
2000
IEEE-ACM
14 years 23 days ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
SGP
2007
13 years 11 months ago
2007
Developable surfaces are surfaces that can be unfolded into the plane with no distortion. Although ubiquitous in our everyday surroundings, modeling them using existing tools requ...
CIBCB
2005
IEEE
13 years 11 months ago
2005
IEEE
— A fuzzy neural network (FNN) and multiple linear regression (MLR) were used to predict biological activities of 26 newly designed HIV-1 protease potential inhibitory compounds....