1937 search results - page 322 / 388 » Adaptation-based programming in java |
106
Voted
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
158
Voted
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
114
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
82
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
108
Voted
ICTCS
2007
Springer
15 years 8 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...