1992 search results - page 113 / 399 » On the (limited) power of non-equivocation |
116
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). ...
124
Voted
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
112
Voted
AIPS
2009
15 years 3 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
130
click to vote
ICANN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Mutual Information (MI) is a powerful concept from information theory used in many application fields. For practical tasks it is often necessary to estimate the Mutual In...
101
Voted
CPC
2006
15 years 1 months ago
2006
We give results for the age dependent distribution of vertex degree and number of vertices of given degree in the undirected web-graph process, a discrete random graph process int...