4839 search results - page 744 / 968 » A survey of computational complexity results in systems and ... |
157
click to vote
DFT
2003
IEEE
15 years 12 months ago
2003
IEEE
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...
186
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
151
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Body scanners offer significant potential for use in many applications like clothing industry, orthopedy, surgery, healthcare, monument conservation, art, as well as film...
173
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The Trading Agent Competition in its category Supply Chain Management (TAC SCM) is an international forum where teams construct agents that control a computer assembly company in ...
204
click to vote
TMC
2010
15 years 5 months ago
2010
—Evaluating and quantifying trust stimulates collaboration in mobile ad hoc networks (MANETs). Many existing reputation systems sharply divide the trust value into right or wrong...