2004 search results - page 159 / 401 » Comparison of Model Checking Tools for Information Systems |
128
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
144
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
127
click to vote
JSS
2006
15 years 5 months ago
2006
We present a tool and a methodology for estimating the memory storage requirement for synchronous real-time video processing systems. Typically, a designer will use the feedback i...
160
click to vote
FAC
2008
15 years 5 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
163
click to vote
WWW
2010
ACM
2010
ACM
Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web
16 years 3 days ago
The transition of personal information management (PIM) tools off the desktop to the Web presents an opportunity to augment these tools with capabilities provided by the wealth o...