2409 search results - page 176 / 482 » Logical systems for structured specifications |
209
click to vote
ICMLA
2009
15 years 4 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
173
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
181
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
159
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
175
click to vote
AIME
2007
Springer
16 years 21 days ago
2007
Springer
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...