4250 search results - page 578 / 850 » Understanding the Requirements on Modelling Techniques |
184
click to vote
FC
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
220
click to vote
CBSE
2004
Springer
16 years 21 days ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
189
click to vote
IH
2004
Springer
16 years 20 days ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
202
click to vote
ISPA
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
164
click to vote
KCAP
2003
ACM
16 years 16 days ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...