6527 search results - page 246 / 1306 » On Typing Information Flow |
170
Voted
ELPUB
1998
ACM
15 years 11 months ago
1998
ACM
In 1997 the library department at the University of Karlskrona/Ronneby was asked to develop a database which could be used to collate and present all the research material and ong...
152
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
297
click to vote
JASIS
2010
15 years 5 months ago
2010
: The work of corporate finance professionals is information intensive. In spite of that the practices and motivations of their information preferences have been researched very li...
157
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
185
click to vote
MMM
1996
Springer
15 years 10 months ago
1996
Springer
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...