8083 search results - page 295 / 1617 » A Formalization of Software Architecture |
143
Voted
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
There is an increasing interest in using P2P as a basis for software systems. However, by their very nature, achieving dependability within a P2P system can be difficult. This pap...
231
click to vote
JITECH
2010
15 years 1 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
171
click to vote
MTV
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
155
click to vote
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
This is an experience report on the architectural reengineering of a large software portfolio. In order to minimize the risks of such an undertaking, companies tend to be conserva...
152
click to vote
CSREASAM
2007
15 years 8 months ago
2007
In this paper, we propose an architecture that protects software by the hardware. The protection hardware can reside on the local machine in the form of a chip or on a remote serv...