Sciweavers

4227 search results - page 263 / 846
» Philosophical Conceptions of Information
Sort
View
ICALT
2007
IEEE
16 years 1 months ago
Creating E-portfolio with OSP
The paper describes the usefulness of e-portfolios for students, teachers, administrators and human resource personnel for learning, assessment and employment purposes. It is impo...
Madhumita Bhattacharya, Mike Mimirinis
CAISE
2005
Springer
16 years 9 days ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
INAP
2005
Springer
16 years 7 days ago
TURTLE++ - A CIP-Library for C++
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
Petra Hofstedt, Olaf Krzikalla
BIRTHDAY
2004
Springer
16 years 4 days ago
Universal Actability of and with Knowledge: Managing and Communicating Knowledge with Patterns
Managing and communicating information and knowledge with patterns entail a multitude of assumptions, interests, and validity claims. Patterns are socially constructed, and they m...
Fahri Yetim
ICALP
2004
Springer
16 years 4 days ago
Extensional Theories and Rewriting
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
Grigore Rosu