1288 search results - page 152 / 258 » On Analysis of Design Component Contracts: A Case Study |
131
Voted
FUIN
2006
15 years 1 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...
104
click to vote
WSC
2001
15 years 3 months ago
2001
This paper investigates the dimensionality characteristics of the outcome space of a combat simulation. The independent state variables of all of the outcome states for a simulati...
122
click to vote
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
149
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: In many research areas it is necessary to find differences between treatment groups with several variables. For example, studies of microarray data seek to find a sign...
94
Voted
ISCC
2009
IEEE
15 years 8 months ago
2009
IEEE
In wireless sensor networks, energy consumption is generally associated with the amount of sent data once communication is the activity of the network that consumes more energy. T...