Sciweavers

5377 search results - page 158 / 1076
» Programming Languages For Interactive Computing
Sort
View
76
Voted
ICALP
2004
Springer
15 years 6 months ago
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas
Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsy...
ICALP
2004
Springer
15 years 6 months ago
Improved Results for Data Migration and Open Shop Scheduling
Rajiv Gandhi, Magnús M. Halldórsson,...
61
Voted
ICALP
2004
Springer
15 years 6 months ago
Deterministic M2M Multicast in Radio Networks: (Extended Abstract)
Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...
76
Voted
ICALP
2004
Springer
15 years 6 months ago
Counting in Trees for Free
Helmut Seidl, Thomas Schwentick, Anca Muscholl, Pe...
109
Voted
FORTE
2007
15 years 2 months ago
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
João Abreu, Laura Bocchi, José Luiz ...