5343 search results - page 713 / 1069 » Keyword programming in java |
186
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
174
click to vote
ACMSE
2005
ACM
16 years 10 days ago
2005
ACM
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
183
click to vote
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
171
click to vote
PODC
2005
ACM
16 years 10 days ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
171
click to vote
SIGCSE
2005
ACM
16 years 10 days ago
2005
ACM
The subject matter of a typical undergraduate software engineering course, while providing necessary background, can be quite dry. Team-based programming projects often complement...