548 search results - page 66 / 110 » Using Games As a Means for Collaboration |
108
click to vote
ICWS
2009
IEEE
14 years 9 months ago
2009
IEEE
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
113
click to vote
DAC
2003
ACM
16 years 24 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
112
click to vote
IIWAS
2007
15 years 1 months ago
2007
The growing number of Web Services technologies and their use have revolutionized the web. Web Services will play an important role in the next web generation (i.e. Semantic Web) ...
133
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
ICTAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...