644 search results - page 67 / 129 » Translation the Wiki way |
WOSP
2000
ACM
14 years 12 days ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
SCCC
1998
IEEE
14 years 9 days ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
ICFEM
1998
Springer
14 years 8 days ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
ESCIENCE
2007
IEEE
13 years 12 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
RTA
2010
Springer
13 years 12 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...