7530 search results - page 1324 / 1506 » Design and Implementation of the YAWL System |
187
click to vote
CAV
2005
Springer
16 years 19 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
205
click to vote
ESWS
2005
Springer
16 years 19 days ago
2005
Springer
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
198
click to vote
ICCBR
2005
Springer
16 years 18 days ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
208
click to vote
ICESS
2005
Springer
16 years 18 days ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
169
click to vote
IDEAL
2005
Springer
16 years 18 days ago
2005
Springer
Agents make up an important part of game worlds, ranging from the characters and monsters that live in the world to the armies that the player controls. Despite their importance, a...