2205 search results - page 340 / 441 » Mutation Operators for Specifications |
IJAR
2008
15 years 2 months ago
2008
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
120
click to vote
IJCSA
2008
15 years 2 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
108
Voted
IJES
2008
15 years 2 months ago
2008
Block ciphers are used to encrypt data and provide data confidentiality. For interoperability reasons, it is desirable to support a variety of block ciphers efficiently. Of the bas...
134
Voted
IJLT
2008
15 years 2 months ago
2008
: To enhance users' social embedding within learning networks, we propose to establish ad hoc transient communities. These communities serve a particular goal, exist for a lim...
141
Voted
FUIN
2006
15 years 2 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...