1380 search results - page 268 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
IPCCC
2006
IEEE
14 years 2 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
PEWASUN
2004
ACM
14 years 2 months ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
FORMATS
2006
Springer
14 years 13 days ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
LOGCOM
2000
13 years 8 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
BMCBI
2007
13 years 9 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...