1937 search results - page 228 / 388 » Adaptation-based programming in java |
117
click to vote
JCS
2010
14 years 11 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
141
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
137
Voted
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
182
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...