950 search results - page 68 / 190 » Tool Support for Model Checking of Web Application Designs |
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Huge amounts of search and browse log data has been accumulated in various search engines. Such massive search/browse log data, on the one hand, provides great opportunities to mi...
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...
APWEB
2005
Springer
14 years 1 months ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
FM
1999
Springer
14 years 6 days ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...