2232 search results - page 309 / 447 » Formal Modeling and Analysis of Organizations |
205
click to vote
DMTCS
2010
15 years 3 months ago
2010
This paper studies the fundamental trade-off between communication cost and delay cost arising in various contexts such as control message aggregation or organization theory. An o...
179
click to vote
SCIENTOMETRICS
2011
14 years 9 months ago
2011
Measuring the intellectual diversity encoded in publication records as a proxy to the degree of interdisciplinarity has recently received considerable attention in the science mapp...
168
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
165
click to vote
VLC
2011
15 years 1 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
143
click to vote
ICDAR
2007
IEEE
16 years 20 days ago
2007
IEEE
Decoding noisy document images is commonly needed in applications such as enterprise content management. Available OCR solutions are still not satisfactory especially on noisy ima...