Sciweavers

2570 search results - page 266 / 514
» Constructing a web information system development methodolog...
Sort
View
PLDI
2009
ACM
16 years 1 months ago
A language for information flow: dynamic tracking in multiple interdependent dimensions
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
Avraham Shinnar, Marco Pistoia, Anindya Banerjee
SAC
2004
ACM
15 years 12 months ago
Caching in Web memory hierarchies
Web cache replacement algorithms have received a lot of attention during the past years. Though none of the proposed algorithms deals efficiently with all the particularities of t...
Dimitrios Katsaros, Yannis Manolopoulos
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
ECTEL
2007
Springer
16 years 22 days ago
ALOE - A Socially Aware Learning Resource and Metadata Hub
The changing nature of e-Learning, the Web, and its users that can be observed in the last years results in a need for new approaches and technologies to fully exploit the existing...
Martin Memmel, Rafael Schirru
BMCBI
2005
112views more  BMCBI 2005»
15 years 6 months ago
Web services and workflow management for biological resources
Backgorund: The completion of the Human Genome Project has resulted in large quantities of biological data which are proving difficult to manage and integrate effectively. There i...
Paolo Romano 0001, Domenico Marra, Luciano Milanes...