2702 search results - page 30 / 541 » Practically Applicable Formal Methods |
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
EDOC
2000
IEEE
15 years 2 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
14 years 8 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
SAS
1992
Springer
15 years 1 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A