1151 search results - page 93 / 231 » A Requirements Negotiation Model Based on Multi-Criteria Ana... |
158
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
168
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
131
click to vote
ECIS
2004
15 years 7 months ago
2004
In a business environment, making the right decisions is vital for the success of a company. Making right decisions is inevitably bound to the availability and provision of releva...
160
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Frame delay variance in CSMA/CA networks is large. Wireless applications may require both, limited mean delay and limited delay jitter. These parameters can be derived easily from ...
170
click to vote
WSC
2008
15 years 8 months ago
2008
Semiconductor industry is a capital intensive and knowledge intensive industry, in which human resource management and human capital enhancement is increasingly important. To main...