5227 search results - page 390 / 1046 » Enterprise modeling using class and instance models |
189
click to vote
ILP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
213
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
207
click to vote
PE
2010
Springer
15 years 5 months ago
2010
Springer
We introduce Bayesian Expansion (BE), an approximate numerical technique for passage time distribution analysis in queueing networks. BE uses a class of Bayesian networks to appro...
214
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We give the first proof of security for an identity-based encryption scheme in the quantum random oracle model. This is the first proof of security for any scheme in this model ...
174
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...