7112 search results - page 330 / 1423 » Power in normative systems |
137
click to vote
WETICE
2006
IEEE
16 years 20 days ago
2006
IEEE
It is argued in this position paper that a workflow management system is potentially a powerful solution to bring more flexibility to the management of business processes. At the ...
143
click to vote
TPHOL
1992
IEEE
15 years 10 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
159
click to vote
DATAMINE
1999
15 years 6 months ago
1999
The tremendous number of rules generated in the mining process makes it necessary for any good data mining system to provide for powerful query primitives to post-process the gener...
155
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Control systems for critical infrastructures like national power grids make increasingly use of open technologies and protocols, and the Internet. In this environment, the risk...
273
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...