Sciweavers

SIGSOFT
2004
ACM
14 years 1 months ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
SIGSOFT
2004
ACM
14 years 1 months ago
Engineering human trust in mobile system collaborations
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
Licia Capra
SIGSOFT
2004
ACM
14 years 1 months ago
Using an SQL coverage measurement for testing database applications
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
María José Suárez Cabal, Javi...
SIGSOFT
2004
ACM
14 years 1 months ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed
PPPJ
2004
ACM
14 years 1 months ago
A dynamic compiler for embedded Java virtual machines
A new acceleration technology for Java embedded virtual machines is presented in this paper. Based on the selective dynamic compilation technique, this technology addresses the J2...
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, ...
PPPJ
2004
ACM
14 years 1 months ago
Embedding JAAS in agent roles to apply local security policies
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
PPPJ
2004
ACM
14 years 1 months ago
Using the divide and conquer strategy to teach Java framework design
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...
H. Conrad Cunningham, Yi Liu, Cuihua Zhang
PPPJ
2004
ACM
14 years 1 months ago
Java event broadcasting in CSCW environment
A collaborative computing environment supports groups of people as they cooperate to achieve their goals. In this paper we investigate the issues on event broadcasting in Java col...
Chien-Min Wang, Shun-Te Wang, Shyh-Fong Hong, Hsi-...