Sciweavers

800 search results - page 73 / 160
» Towards a formalization of budgets
Sort
View
IANDC
2007
81views more  IANDC 2007»
14 years 11 months ago
Some natural conditions on incremental learning
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
Sanjay Jain, Steffen Lange, Sandra Zilles
DSD
2006
IEEE
95views Hardware» more  DSD 2006»
15 years 2 months ago
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
Zhonghai Lu, Ingo Sander, Axel Jantsch
SSR
1997
98views more  SSR 1997»
15 years 9 days ago
Toward Software Plug-and-Play
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
François Bronsard, Douglas Bryan, Wojtek Ko...
SIGSOFT
2008
ACM
15 years 11 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
ICWS
2009
IEEE
15 years 8 months ago
Towards Automated RESTful Web Service Composition
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...
Haibo Zhao, Prashant Doshi