3971 search results - page 88 / 795 » On the Use of Properties in Java Applications |
145
Voted
COOPIS
2000
IEEE
15 years 9 months ago
2000
IEEE
Given the undeniable popularity of the Web, providing efficient and secure access to remote databases using a Web browser is crucial for the emerging cooperative information system...
122
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
131
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
101
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
129
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...