10159 search results - page 154 / 2032 » System Design Validation Using Formal Models |
123
click to vote
WADT
1998
Springer
15 years 6 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
102
click to vote
ICANN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
107
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
132
Voted
APIN
2006
15 years 2 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
116
Voted
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...