3082 search results - page 341 / 617 » Deviation Analysis: A New Use of Model Checking |
166
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
153
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
152
click to vote
NIPS
2007
15 years 8 months ago
2007
Maximum entropy analysis of binary variables provides an elegant way for studying the role of pairwise correlations in neural populations. Unfortunately, these approaches suffer f...
183
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...
199
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...