Sciweavers

19 search results - page 3 / 4
» CS Freiburg 2001
Sort
View
TC
2001
13 years 10 months ago
The information integrity imperative
The paper first develops the core IS view of business activity, which comprises informational and physical work systems and central to which is the informational work system deliv...
Madhavan K. Nayar
SEBD
2001
75views Database» more  SEBD 2001»
13 years 10 months ago
Data on the Web: A W3C Perspective
What is the "high level view" of data on the Web that can be traced down within W3C's rich roadmap of technologies? What the relationships between the "big need...
Massimo Marchiori
SIAMDM
2010
113views more  SIAMDM 2010»
13 years 3 months ago
The VPN Problem with Concave Costs
We consider the following network design problem. We are given an undirected network with costs on the edges, a set of terminals, and an upper bound for each terminal limiting the ...
Samuel Fiorini, Gianpaolo Oriolo, Laura Sanit&agra...
CODES
2001
IEEE
14 years 6 days ago
Hardware/software partitioning of embedded system in OCAPI-xl
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...
Geert Vanmeerbeeck, Patrick Schaumont, Serge Verna...
LICS
2010
IEEE
13 years 7 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...