12487 search results - page 54 / 2498 » Graspable Work Modeling |
102
Voted
IFIP
2009
Springer
14 years 10 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 ...
132
click to vote
NFM
2011
14 years 7 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
110
Voted
IJON
2010
14 years 7 months ago
2010
This paper presents a novel methodology to infer parameters of probabilistic models whose output noise is a Student-t distribution. The method is an extension of earlier work for ...
109
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
114
click to vote
ECIR
2011
Springer
14 years 4 months ago
2011
Springer
Aggregate ranking tasks are those where documents are not the final ranking outcome, but instead an intermediary component. For instance, in expert search, a ranking of candidate ...