Sciweavers

3994 search results - page 737 / 799
» Supporting the design of network-spanning applications
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 6 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
CIKM
2004
Springer
15 years 6 months ago
Composable XML integration grammars
The proliferation of XML as a standard for data representation and exchange in diverse, next-generation Web applications has created an emphatic need for effective XML data-integr...
Wenfei Fan, Minos N. Garofalakis, Ming Xiong, Xibe...
DIAGRAMS
2004
Springer
15 years 6 months ago
Bayesian Boxes: A Colored Calculator for Picturing Posteriors
The need for Bayesian inference arises in military intelligence, medical diagnosis and many other practical applications. The problem is that human inferences are generally conserv...
Kevin Burns
HT
2003
ACM
15 years 6 months ago
"Physical hypermedia": organising collections of mixed physical and digital material
This paper addresses the problem of organizing material in mixed digital and physical environments. It presents empirical examples of how people use collectional artefacts and org...
Kaj Grønbæk, Jannie Friis Kristensen,...
ISCA
2010
IEEE
239views Hardware» more  ISCA 2010»
15 years 6 months ago
Sentry: light-weight auxiliary memory access control
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...
Arrvindh Shriraman, Sandhya Dwarkadas