1222 search results - page 169 / 245 » A Bayesian Approach to Model Checking Biological Systems |
154
click to vote
IMCSIT
2010
15 years 1 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
166
click to vote
CSCW
1998
ACM
15 years 8 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
138
Voted
SOSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
118
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
138
click to vote
ENTCS
2007
15 years 4 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...