4036 search results - page 103 / 808 » Formal Methods |
142
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
120
Voted
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
148
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
121
click to vote
ECBS
2008
IEEE
15 years 11 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
129
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...