122 search results - page 11 / 25 » A Formal Framework for Design Component Contracts |
GROUP
1997
ACM
15 years 4 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
112
Voted
EICS
2010
ACM
14 years 12 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
77
Voted
BMCBI
2006
14 years 11 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
WINE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...