1286 search results - page 146 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
79
Voted
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
133
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
In this paper, we address the problem of discovering the 3D shape of a book surface from the shading information in a scanned document image. This shapefrom-shading problem is cha...
135
Voted
CONCUR
1999
Springer
15 years 5 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...
104
click to vote
NCA
2002
IEEE
15 years 11 days ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
101
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...