Sciweavers

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

Lecture Notes
700views
16 years 8 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
106
Voted
JSW
2006
89views more  JSW 2006»
14 years 10 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...
61
Voted
JSYML
2008
71views more  JSYML 2008»
14 years 10 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ä...
108
Voted
ER
2007
Springer
115views Database» more  ER 2007»
15 years 2 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
14 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...