Sciweavers

2500 search results - page 276 / 500
» Specifying Behavior in C
Sort
View
GC
2004
Springer
16 years 17 days ago
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
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 ...
Andrea Bracciali, Neophytos Demetriou, Ulrich Endr...
SEKE
2004
Springer
16 years 16 days ago
Grammatically Interpreting Feature Compositions
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...
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Ra...
VLDB
2004
ACM
169views Database» more  VLDB 2004»
16 years 16 days ago
Database Tuning Advisor for Microsoft SQL Server 2005
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...
Sanjay Agrawal, Surajit Chaudhuri, Lubor Koll&aacu...
EDOC
2003
IEEE
16 years 14 days ago
A Systematic Approach to Platform-Independent Design Based on the Service Concept
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...
João Paulo A. Almeida, Marten van Sinderen,...
EDOC
2003
IEEE
16 years 14 days ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
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...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...