Sciweavers

1438 search results - page 101 / 288
» Relational aspects as tracematches
Sort
View
HASKELL
2008
ACM
15 years 8 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
ENTCS
2007
70views more  ENTCS 2007»
15 years 7 months ago
Component Substitutability via Equivalencies of Component-Interaction Automata
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
Ivana Cerná, Pavlína Vareková...
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 7 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
DATE
2009
IEEE
229views Hardware» more  DATE 2009»
16 years 1 months ago
Health-care electronics The market, the challenges, the progress
— Exploding health care demands and costs of aging and stressed populations necessitate the use of more in-home monitoring and personalized health care. Electronics hold great pr...
Wolfgang Eberle, Ashwin S. Mecheri, Thi Kim Thoa N...
SIGIR
2009
ACM
16 years 1 months ago
An aspectual interface for supporting complex search tasks
With the increasing importance of search systems on the web, there is a continuing push to design interfaces which are a better match with the kinds of real-world tasks in which u...
Robert Villa, Iván Cantador, Hideo Joho, Jo...