1796 search results - page 279 / 360 » An Approach to Compositional Model Checking |
149
Voted
UIST
1993
ACM
15 years 6 months 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...
150
Voted
ISBRA
2010
Springer
15 years 28 days 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
15 years 9 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...
141
click to vote
IFM
2007
Springer
15 years 8 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...
127
click to vote
ICMCS
1999
IEEE
15 years 6 months 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...