2794 search results - page 268 / 559 » A New Architecture for Automated Modelling |
179
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
161
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
134
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
198
click to vote
EEE
2005
IEEE
16 years 10 days ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
174
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...