10458 search results - page 1619 / 2092 » Modeling Features at Runtime |
118
click to vote
JNS
2008
15 years 4 months ago
2008
The theory of monotone dynamical systems has been found very useful in the modeling of some gene, protein, and signaling networks. In monotone systems, every net feedback loop is p...
121
click to vote
ENTCS
2007
15 years 4 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
144
click to vote
MSCS
2008
15 years 4 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
128
click to vote
FUIN
2007
15 years 4 months ago
2007
In the paper triangular graphs are discussed. The class of triangular graphs is of special interest as unifying basic features of complete graphs with trees and being used on many ...
119
click to vote
NPL
2006
15 years 4 months ago
2006
The correct assessment of meat quality (i.e., to fulfill the consumer's needs) is crucial element within the meat industry. Although there are several factors that affect the ...