2268 search results - page 425 / 454 » The Essence of Form Abstraction |
167
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Radio Frequency Identification (RFID) technology is fast becoming a prevalent tool in tracking commodities in supply chain management applications. The movement of commodities thr...
243
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
168
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
202
click to vote
ESA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper addresses strategies for the stable marriage problem. For the Gale-Shapley algorithm with men proposing, a classical theorem states that it is impossible for e...