16218 search results - page 2919 / 3244 » Standards |
167
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
175
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...
178
click to vote
ASIACRYPT
2004
Springer
16 years 4 days ago
2004
Springer
Secret handshakes were recently introduced [BDS+ 03] to allow members of the same group to authenticate each other secretly, in the sense that someone who is not a group member ca...
198
click to vote
ASWSD
2004
Springer
16 years 4 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
205
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...