597 search results - page 51 / 120 » E-Process Design and Assurance Using Model Checking |
143
Voted
DGO
2011
14 years 2 months ago
2011
The rising awareness of the challenges of preserving information over the long term has led to a wealth of initiatives developing economic models, methods, tools, systems, guideli...
147
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
119
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
130
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
143
Voted
ANLP
1994
15 years 3 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...