3376 search results - page 564 / 676 » Analyzing Software Evolvability |
167
click to vote
SAS
2007
Springer
16 years 17 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
347
click to vote
ICAT
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract. This paper describes an embedded pedestrian navigation system composed of a self-contained sensors, the Global Positioning System (GPS) and an active Radio Frequency Iden...
264
click to vote
LAWEB
2006
IEEE
16 years 14 days ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
155
click to vote
MEMOCODE
2006
IEEE
16 years 14 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
152
click to vote
VL
2006
IEEE
16 years 14 days ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...