950 search results - page 151 / 190 » Tool Support for Model Checking of Web Application Designs |
JUCS
2008
13 years 7 months ago
2008
Abstract: Intelligence and Knowledge play more and more important roles in building complex intelligent systems, for instance, intrusion detection systems, and operational analysis...
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
EURODAC
1994
IEEE
13 years 12 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
CIMCA
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper describes a portlet-based portal that provides user interfaces for access a Grid-based elearning platform. E-learning platforms that exploit resources and computing pow...
ICETE
2004
13 years 9 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...