Sciweavers

3302 search results - page 227 / 661
» Software Is More Than Code
Sort
View
152
Voted
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
15 years 10 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
CODES
2000
IEEE
15 years 9 months ago
Towards a new standard for system-level design
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
Stan Y. Liao
PROCOMET
1998
15 years 6 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
VCIP
2000
196views Communications» more  VCIP 2000»
15 years 6 months ago
MIME: a gesture-driven computer interface
MIME (Mime Is Manual Expression) is a computationally efficient computer vision system for recognizing hand gestures. The system is intended to replace the mouse interface on a st...
Daniel Heckenberg, Brian Lovell
UML
2005
Springer
15 years 11 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...