3119 search results - page 179 / 624 » Abstract Requirement Analysis in Multiagent System Design |
102
Voted
FPL
1995
Springer
15 years 7 months ago
1995
Springer
Although the energy required to perform a logic operation has continuously dropped at least by ten orders of magnitude since early vacuumtube electronics [1], the increasing clock ...
118
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
130
Voted
EDUTAINMENT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Social navigation in a community of practice (CoP) is an approach of locating information through increased social awareness. Designing support for social navigation requ...
117
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
152
Voted
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...