1796 search results - page 279 / 360 » An Approach to Compositional Model Checking |
UIST
1993
ACM
14 years 5 days ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
ISBRA
2010
Springer
13 years 6 months ago
2010
Springer
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
IFM
2007
Springer
14 years 2 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
ICMCS
1999
IEEE
14 years 12 days ago
1999
IEEE
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous...