1937 search results - page 190 / 388 » Adaptation-based programming in java |
87
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
132
Voted
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
97
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
100
Voted
ACE
2003
15 years 2 months ago
2003
The role of assessment in modern university curricula has become far more diverse and open to scrutiny in recent years. Although its most significant role is as a measure of a stu...
104
click to vote
AAMAS
2006
Springer
15 years 24 days ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...