2522 search results - page 274 / 505 » Tools for Heterogeneous Network Computing |
139
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
156
click to vote
ICNS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
121
Voted
AINA
2003
IEEE
15 years 9 months ago
2003
IEEE
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...
141
click to vote
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
126
click to vote
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...