2748 search results - page 47 / 550 » Generating Object-Z Specifications from Use Cases |
121
click to vote
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Nowadays, the Quality of Service (QoS) in Optical Grids has become a key issue. An important QoS factor is the resiliency, namely the ability to survive from certain network failur...
112
Voted
TCS
2010
14 years 7 months ago
2010
In this paper we study some relevant prefixes of coloured Motzkin walks (otherwise called coloured Motzkin words). In these walks, the three kinds of step can have , and colours...
105
Voted
ESTIMEDIA
2003
Springer
15 years 6 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
109
click to vote
FIW
2009
14 years 10 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
100
click to vote
TVLSI
2008
15 years 17 days ago
2008
Reconfigurable hardware is ideal for use in Systems-on-a-Chip, as it provides both hardware-level performance and post-fabrication flexibility. However, any one architecture is ra...