2500 search results - page 162 / 500 » Specifying Behavior in C |
100
Voted
CATS
2008
15 years 5 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
125
Voted
CASCON
2006
15 years 4 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
135
click to vote
FIW
2000
15 years 4 months ago
2000
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...
162
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
130
Voted
CLUSTER
2008
IEEE
15 years 3 months ago
2008
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...