480 search results - page 36 / 96 » Understanding the Behavior of Java Programs |
108
Voted
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
95
Voted
VL
1992
IEEE
15 years 4 months ago
1992
IEEE
Constraint based draw programs require users to understand and manage relationships between drawing elements. By establishing constraint relationships among elements the user effe...
110
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
100
click to vote
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
ENTCS
2006
15 years 16 days ago
2006
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...