8828 search results - page 285 / 1766 » Formal methods in practice |
202
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
165
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
There is an undesirable gap between HCI research aimed at influencing interaction design practice and the practitioners in question. To close this gap, we advocate a theoretical a...
160
click to vote
QOSA
2007
Springer
16 years 24 days ago
2007
Springer
To support software architecture evaluation practices, several efforts have been made to provide a basis for comparing and assessing evaluation methods, document various best pract...
299
click to vote
RCIS
2010
15 years 5 months ago
2010
This focus group study presents our first validation of practices for engineering the coordination requirements in cross organizational Enterprise Resource Planning (ERP) project...
176
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper examines the possibility of discovering 'hidden' (potential) Communities of Practice (CoPs) inside electronic networks, and then using this knowledge to nurtu...