Partner

22 hits in 0.012 sec.

1 - 10    
A formal model of services; 1 [Score: 100%]
Author / Editor: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2007 | 40 s.
Journal / Series / Collection: ACM transactions on software engineering and methodology; 16
Subject Area: Informatik
Adding fair choice to Dijkstra's calculus; 3 [Score: 100%]
Author / Editor: Broy, Manfred; Nelson, Greg |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik
An information-theoretic approach to time bounds for on-line computation : preliminary version [Score: 100%]
Author / Editor: Paul, Wolfgang J.; Seiferas, Joel I.; Simon, János |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1980 | 11 s.
Journal / Series / Collection: Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, Los Angeles, Calif. April 28-30, 1980
Subject Area: Informatik
Compositional refinement of interactive systems; 6 [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1997 | 42 s.
Journal / Series / Collection: Journal of the ACM; 44
Subject Area: Informatik
Computational linguistic support for legal ontology construction [Score: 100%]
Author / Editor: Walter, Stephan; Pinkal, Manfred |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2005 | 27 s.
Journal / Series / Collection: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Subject Area: Informatik
Computational linguistic support for legal ontology construction [Score: 100%]
Author / Editor: Walter, Stephan; Pinkal, Manfred |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2005 | 2 s.
Journal / Series / Collection: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy
Subject Area: Informatik
Computing nash equilibria for scheduling on restricted parallel links [Score: 100%]
Author / Editor: Gairing, Martin; Monien, Burkhard |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2004 | 10 s.
Journal / Series / Collection: Proceedings of the 36th ACM Symposion on Theory of Computing, Chicago, Ill., June 13-15,2004
Subject Area: Informatik
Fast priority queues for cached memory; Art. 7 [Score: 100%]
Author / Editor: Sanders, Peter |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2000 | 25 s.
Journal / Series / Collection: Journal of experimental algorithmics; 5
Subject Area: Mathematik; Informatik
Free-viewpoint video of human actors; 3 [Score: 100%]
Author / Editor: Carranza, Joel; Seidel, Hans-Peter |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2003 | 9 s.
Journal / Series / Collection: ACM transactions on graphics; 22
Subject Area: Informatik
Image-based reconstruction of spatial appearance and geometric detail; 2 [Score: 100%]
Author / Editor: Lensch, Hendrik P. A.; Seidel, Hans-Peter |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2003 | 24 s.
Journal / Series / Collection: ACM transactions on graphics; 22
Subject Area: Informatik
1 - 10