2810 search results - page 120 / 562 » Contract-Based Component System Design |
138
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
110
click to vote
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
127
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
109
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
125
click to vote
FTDB
2007
15 years 3 months ago
2007
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...