996 search results - page 157 / 200 » A Compositional Model for Software Reuse |
135
click to vote
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
233
click to vote
LAWEB
2006
IEEE
15 years 9 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
139
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
135
click to vote
IPL
2010
15 years 2 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
118
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...