14331 search results - page 383 / 2867 » On the modeling and analysis of obligations |
180
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
204
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
164
click to vote
EMISA
2005
Springer
16 years 11 days ago
2005
Springer
Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...
184
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Classification results obtained using wavelet-based texture analysis techniques vary with the choice of mother wavelet used in the methodology. We discuss the use of mother wavele...
160
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
—We propose a frequency-domain modeling technique with applications on the statistical timing analysis of clock mesh/grid networks. Using transmission lines to model clock mesh e...