Sciweavers

5664 search results - page 166 / 1133
» Creativity support tools
Sort
View
113
Voted
CIE
2007
Springer
15 years 9 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
AUIC
2005
IEEE
15 years 9 months ago
Beautifying Sketching-based Design Tool Content: Issues and Experiences
With the advent of the Tablet PC and stylus-based PDAs, sketching-based user interfaces for design tools have become popular. However, a major challenge with such interfaces is th...
Beryl Plimmer, John C. Grundy
111
Voted
ATAL
2005
Springer
15 years 9 months ago
A software tool for the development of MAS communication protocols based on conversations
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
Madieyna Lamine Fall, Sylvain Delisle
105
Voted
ACSAC
2003
IEEE
15 years 8 months ago
A Multi-View Tool for Checking the Security Semantics of Router Configurations
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
Holger Peine, Reinhard Schwarz
126
Voted
ICEIS
2000
IEEE
15 years 8 months ago
A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
Isabel Milho, Ana L. N. Fred