2500 search results - page 276 / 500 » Specifying Behavior in C |
116
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
129
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
133
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
133
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper aims at demonstrating the benefits and importance of the service concept in the model-driven design of distributed applications. A service defines the observable behavi...
178
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...