1124 search results - page 105 / 225 » Refined quorum systems |
166
click to vote
EDOC
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
154
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
ot only high level description of abstract policy, but also enables such policy to be refined and eventually mapped into an appropriate configuration for controlling devices in the...
150
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
176
click to vote
ZUM
1998
Springer
15 years 10 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
213
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...