Sciweavers

1715 search results - page 137 / 343
» How Space Structures Language
Sort
View
120
Voted
KR
1998
Springer
15 years 7 months ago
Modal Semantics for Knowledge Bases Dealing with Vague Concepts
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
Brandon Bennett
193
Voted

Book
323views
17 years 1 months ago
Adaptive Object-Oriented Software: a PWS book
"This book introduces a software development method, called the Demeter Method, for developing adaptive object-oriented software. The reader will learn the Demeter Method for...
Karl J. Lieberherr
112
Voted
IFIP
2009
Springer
15 years 10 months ago
Applied Quantitative Information Flow and Statistical Databases
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
Jonathan Heusser, Pasquale Malacaria
102
Voted
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
15 years 8 months ago
Virtualization of Organizations: Consequences for Workflow Modeling
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
Wolfgang Ortner, Christian Stary
127
Voted
SIGCSE
1996
ACM
136views Education» more  SIGCSE 1996»
15 years 7 months ago
Thinking about binary trees in an object-oriented world
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
A. Michael Berman, Robert C. Duvall