1937 search results - page 17 / 388 » Starting B Specifications from Use Cases |
113
click to vote
ECIS
2004
15 years 3 months ago
2004
The term business model has been used loosely several times for describing a company's strategies, revenue model, processes and overall business logic both by researchers and...
106
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
111
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
102
click to vote
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
111
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in DFG represents a coarse grain block such as FIR and...