6174 search results - page 802 / 1235 » The language of social software |
212
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
182
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
171
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
167
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
192
click to vote
ACSW
2004
15 years 8 months ago
2004
Due to rapid development in the global market, workflow systems are not limited to a single country. Electronic business like workflows span across countries and hence there arise...