Search Sciweavers | Sciweavers

16666 search results - page 66 / 3334

» Descriptive and Computational Complexity

135

click to vote

EAGC
2004
Springer

97views Distributed And Parallel Com...» more EAGC 2004»

Towards a Protocol for the Attachment of Semantic Descriptions to Grid Services

15 years 10 months ago

Download grid.ucy.ac.cy

Simon Miles, Juri Papay, Terry R. Payne, Keith Dec...

claim paper

Read More »

136

Voted

AML
2008

91views more AML 2008»

On meta complexity of propositional formulas and propositional proofs

15 years 6 months ago

Download www2.mcdaniel.edu

A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional languag...

Pavel Naumov

claim paper

Read More »

103

click to vote

ASM
2003
ASM

76views Computational Biology» more ASM 2003»

Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks

15 years 11 months ago

Download www.cs.sfu.ca

András A. Benczúr, Uwe Glässer,...

claim paper

Read More »

102

click to vote

ICSOC
2003
Springer

85views Applied Computing» more ICSOC 2003»

Stepwise Refinable Service Descriptions: Adapting DAML-S to Staged Service Trading

15 years 11 months ago

Download www3.unitn.it

Michael Klein, Birgitta König-Ries, Philipp O...

claim paper

Read More »

115

click to vote

WSC
2004

67views Modeling And Simulation» more WSC 2004»

A View From the Beginning: When Does a Description Become a Taxonomy

15 years 7 months ago

Download www.informs-sim.org

This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...

Philip J. Kiviat

claim paper

Read More »

« Prev « First page 66 / 3334 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers