Sciweavers

3971 search results - page 39 / 795
» On the Use of Properties in Java Applications
Sort
View
158
Voted
PPPJ
2004
ACM
16 years 25 days ago
MailConfigurator: automatic configuration of e-mail accounts through Java mobile agents
: E-Mail is the most exploited service in the Internet. We present an application based on Java mobile agents to automatically perform required steps to register an account. The us...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
188
Voted
IPPS
2010
IEEE
15 years 5 months ago
Measuring properties of molecular surfaces using ray casting
Molecular geometric properties, such as volume, exposed surface area, and occurrence of internal cavities, are important inputs to many applications in molecular modeling. In this ...
Mike Phillips, Iliyan Georgiev, Anna Katharina Deh...
191
Voted
ESOP
2003
Springer
16 years 19 days ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
FORTE
2003
15 years 8 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
324
Voted

Book
260views
17 years 3 months ago
Java Look and Feel Design Guidelines
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...
Sun Microsystems Inc