Sciweavers

4894 search results - page 735 / 979
» Dynamic Abstraction Planning
Sort
View
APLAS
2004
ACM
16 years 3 days ago
Automatic Generation of Editors for Higher-Order Data Structures
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
VRCAI
2004
ACM
16 years 2 days ago
A web-based system for interactive visualization of scientific concepts
ion visualization is valuable in learning abstract ideas and new concepts. The existing technology for publishing online papers is lacking in terms of user interaction as well as ...
Ker Sin Neo, Qingping Lin, Robert K. L. Gay
ESAW
2004
Springer
16 years 1 days ago
Virtual Knowledge Communities for Corporate Knowledge Issues
Corporate knowledge consists both of information that is available throughout a company and of information technology frameworks and paradigms. Considering an enterprise as a distr...
Pierre Maret, Mark Hammond, Jacques Calmet
GC
2004
Springer
16 years 1 days ago
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Johannes Borgström, Uwe Nestmann, Luc Onana A...
SELMAS
2004
Springer
16 years 13 hour ago
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
Lijun Shan, Hong Zhu