2153 search results - page 268 / 431 » From Requirements Models to Formal Specifications in B |
148
click to vote
SACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...
177
click to vote
SACMAT
2006
ACM
16 years 11 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
189
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
188
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
169
click to vote
CIMCA
2005
IEEE
16 years 1 days ago
2005
IEEE
We present some proposals to approximately solve a period vehicle routing problem used to model the extraction of oil from a set of onshore oil wells in Brazil. This problem diffe...