2748 search results - page 47 / 550 » Generating Object-Z Specifications from Use Cases |
137
Voted
GLOBECOM
2010
IEEE
15 years 24 days 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...
126
Voted
TCS
2010
14 years 9 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...
123
Voted
ESTIMEDIA
2003
Springer
15 years 8 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...
128
Voted
FIW
2009
15 years 17 days ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
119
Voted
TVLSI
2008
15 years 2 months 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...