2881 search results - page 500 / 577 » Model Checking for Programming Languages using Verisoft |
132
Voted
UM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. The World Wide Web has provided users with the opportunity to access from any computer the largest set of information ever existing. Researchers have analyzed how such us...
137
Voted
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
133
Voted
SERP
2007
15 years 4 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
102
Voted
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
A broad spectrum of data is available on the Web in distinct heterogeneous sources, and stored under different formats. As the number of systems that utilize this heterogeneous da...
119
Voted
ER
2009
Springer
15 years 9 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...