11963 search results - page 252 / 2393 » A framework for linguistic modelling |
173
click to vote
ICARIS
2005
Springer
16 years 5 days ago
2005
Springer
Innate immunity now occupies a central role in immunology. However, artificial immune system models have largely been inspired by adaptive not innate immunity. This paper reviews ...
195
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
132
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper, we discuss the design and use of an objectoriented framework for simulating full truckload (FTL) networks. We present a context for how the framework can be used th...
168
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
209
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...