7530 search results - page 1243 / 1506 » Design and Implementation of the YAWL System |
213
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
178
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
As massively multiplayer online games are becoming very popular, how to support a large number of concurrent users while maintaining the game performance has become an important r...
198
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: In this paper we are proposing a new concept in MAC layer protocol design for Cognitive radio by combining information held by physical layer and MAC layer with analytical engine...
203
click to vote
DSONLINE
2006
15 years 7 months ago
2006
An architecture for the integration of Grid applications with a Catallactic middleware is described, along with an analysis of issues associated with this integration in a real wo...
150
click to vote
EWC
2006
15 years 7 months ago
2006
In engineering analysis, geometric symmetry, when exploited, has two potential benefits: (1) it can significantly reduce the computational time, and (2) it can simultaneously impr...