Sciweavers

2849 search results - page 129 / 570
» As We Should Have Thought
Sort
View
HUC
1999
Springer
15 years 10 months ago
The Children's Machines: Handheld and Wearable Computers Too
In this paper we describe the material of a construction kit designed to allow children to build their own handheld and wearable devices to meet their interests and passions. Child...
Bakhtiar Mikhak, Fred Martin, Mitchel Resnick, Rob...
KBSE
1998
IEEE
15 years 10 months ago
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
Armando Martin Haeberer, T. S. E. Maibaum
WADS
1995
Springer
107views Algorithms» more  WADS 1995»
15 years 10 months ago
Quadrangulations of Planar Sets
We consider the problem of obtaining “nice” quadrangulations of planar sets of points. For many applications “nice” means that the quadrilaterals obtained are convex if po...
Godfried T. Toussaint
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 6 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
JSW
2007
90views more  JSW 2007»
15 years 6 months ago
Fine-Grained and Scalable Message Protection in Sensitive Organizations
Abstract— Today electronic messaging services are indispensable to individuals and organizations. If a message contains sensitive information, the integrity and confidentiality ...
Joon S. Park, Ganesh Devarajan