Sciweavers

147 search results - page 4 / 30
» Programming interfaces and basic topology
Sort
View
CSL
2000
Springer
13 years 12 months ago
Interactive Programs in Dependent Type Theory
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
Peter Hancock, Anton Setzer
ASSETS
2006
ACM
14 years 1 months ago
Designing a scripting language to help the blind program visually
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
Kenneth G. Franqueiro, Robert M. Siegfried
HICSS
2005
IEEE
204views Biometrics» more  HICSS 2005»
14 years 1 months ago
A Dynamic and Distributed Scatternet Formation Protocol for Real-life Bluetooth Scatternets
Bluetooth is a universal radio interface for short-range wireless networks. The basic Bluetooth network topology is a single-hop star-shaped piconet. Several such piconets can be ...
Deepak Jayanna, Gergely V. Záruba
IMR
2004
Springer
14 years 27 days ago
API for Grid Generation Over Topological Models
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
S. Gopalsamy, Douglas H. Ross, Alan M. Shih
IFL
2003
Springer
14 years 22 days ago
Generic Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...