Sciweavers

158 search results - page 2 / 32
» A Principled Foundation for LCS
Sort
View

Lecture Notes
700views
15 years 7 months ago
Foundations of Computer Science
"This course has two objectives. First (and obvious) is to teach programming. Second is to present some fundamental principles of computer science, especially algorithm desi...
Lawrence C Paulson
JSW
2006
89views more  JSW 2006»
13 years 9 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
JSYML
2008
71views more  JSYML 2008»
13 years 9 months ago
Regular ultrafilters and finite square principles
We show that many singular cardinals above a strongly compact cardinal have regular ultrafilters D that violate the finite square principle fin ,D introduced in [3]. For such ult...
Juliette Kennedy, Saharon Shelah, Jouko A. Vä...
ER
2007
Springer
115views Database» more  ER 2007»
14 years 1 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
ECIR
2011
Springer
13 years 1 months ago
Towards Quantum-Based DB+IR Processing Based on the Principle of Polyrepresentation
The cognitively motivated principle of polyrepresentation still lacks a theoretical foundation in IR. In this work, we discuss two competing polyrepresentation frameworks that are ...
David Zellhöfer, Ingo Frommholz, Ingo Schmitt...