6527 search results - page 40 / 1306 » On Typing Information Flow |
IJCIM
2007
13 years 7 months ago
2007
: Software applications interoperability is a challenge for modern enterprises. It needs establishing standards and protocols for data exchange between different enterprise systems...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Just as a motion field is associated to a moving object, an audio field can be associated to an object that can behave as a sound source. The flow field of such a sound source whi...
DAGSTUHL
1993
13 years 9 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
ICEIS
2003
IEEE
14 years 26 days ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
VL
1996
IEEE
13 years 11 months ago
1996
IEEE
A useful starting point for designing advanced graphical user interfaces is the Visual InformationSeeking Mantra: Overview first, zoom and filter, then details-on-demand. But this...