Sciweavers

4241 search results - page 562 / 849
» A Knowledge-Based Software Information System
Sort
View
ICEIS
2005
IEEE
16 years 5 days ago
Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
Nishadi De Silva, Peter Henderson
FOSSACS
2005
Springer
16 years 3 days ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
CSCLP
2004
Springer
15 years 12 months ago
A Note on Bilattices and Open Constraint Programming
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
Arnaud Lallouet
IV
2003
IEEE
90views Visualization» more  IV 2003»
15 years 12 months ago
Visual User Interface for PDAs
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
Mikael Jern, D. Ricknäs, F. Stam, Robert Trel...
UIST
2003
ACM
15 years 11 months ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet