Sciweavers

4231 search results - page 428 / 847
» Using Language More Responsibly
Sort
View
KBSE
2008
IEEE
16 years 24 days ago
A Generic Approach for Class Model Normalization
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
Jean-Rémy Falleri, Marianne Huchard, Cl&eac...
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
16 years 21 days ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor
ISCC
2007
IEEE
16 years 21 days ago
Gaining Flexibility by Security Protocol Transfer
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
Per Harald Myrvang, Tage Stabell-Kulø
VL
2007
IEEE
111views Visual Languages» more  VL 2007»
16 years 20 days ago
On to the Real World: Gender and Self-Efficacy in Excel
Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environme...
Laura Beckwith, Derek Inman, Kyle Rector, Margaret...
161
Voted
ESOP
2007
Springer
16 years 17 days ago
Modular Shape Analysis for Dynamically Encapsulated Programs
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Rama...