950 search results - page 106 / 190 » Tool Support for Model Checking of Web Application Designs |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
EGITALY
2006
13 years 9 months ago
2006
Automatic shape acquisition technologies evolved rapidly in recent years, and huge mass of 3D data can be easily produced. The high accuracy of range scanning technology makes the...
SIGSOFT
2000
ACM
14 years 5 days ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
CN
1999
13 years 7 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
Creating, maintaining, or using a digital library requires the manipulation of digital documents. Information workspaces provide a visual representation allowing users to collect,...