10707 search results - page 335 / 2142 » Designing executable abstractions |
152
click to vote
IEEECIT
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
167
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
157
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...
103
click to vote
KES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This article proposes a new design method based on a simple heuristic technique to eliminate harmonic in power systems. It is called modified least compensation current c...
157
click to vote
DIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. A machine learning-based approach to the prediction of molecular bioactivity in new drugs is proposed. Two important aspects are considered for the task: feature subset s...