549 search results - page 85 / 110 » Constraint Programming in Structural Bioinformatics |
104
click to vote
SOCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we propose Cognitive Medium Access (CMA), a protocol aimed at improving coexistence with a set of independently evolving WLAN bands. A time-slotted physical layer...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
117
click to vote
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
WICSA
2001
15 years 1 months ago
2001
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...