585 search results - page 66 / 117 » Structured Formal Development in Isabelle |
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
110
click to vote
NGC
1998
Springer
14 years 11 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Developments in e-government are resulting in fundamental reorganizations of the ways in which democratic governments operate as well as in the ways in which citizens relate to th...
ACE
2003
15 years 1 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...