Sciweavers

395 search results - page 17 / 79
» Towards the systematic use of interfaces in JAVA programming
Sort
View
KBSE
2000
IEEE
13 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ECOOPW
1998
Springer
13 years 11 months ago
Aspects of Enterprise Java Beans
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendor...
Gregory Blank, Gene Vayngrib
WWW
2006
ACM
14 years 8 months ago
Relaxed: on the way towards true validation of compound documents
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
Jirka Kosek, Petr Nálevka
EUROPAR
1998
Springer
13 years 11 months ago
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
Neophytos Neophytou, Paraskevas Evripidou
APSEC
2008
IEEE
14 years 1 months ago
Towards Unanticipated Runtime Adaptation of Java Applications
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
Mario Pukall, Christian Kästner, Gunter Saake