Sciweavers

4099 search results - page 470 / 820
» A Framework for Interactive Proof
Sort
View
ICSM
2005
IEEE
16 years 10 days ago
Using Self-Reconfigurable Workplaces to Automate the Maintenance of Evolving Business Applications
In this ever changing business environment, business processes are constantly being customized to reflect the up-to-date organizational structure and business objectives. Technolo...
Qi Zhang, Ying Zou
IFM
1999
Springer
15 years 11 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
ICDCS
2010
IEEE
15 years 10 months ago
CONTRACT: Incorporating Coordination into the IP Network Control Plane
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
Zheng Cai, Florin Dinu, Jie Zheng, Alan L. Cox, T....
APVIS
2001
15 years 8 months ago
Rapid Assembly and Deployment of Domain Visualisation Solutions
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
Tim Pattison, Rudi Vernik, Daniel Goodburn, Matthe...
150
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 6 months ago
Towards Adaptable and Adaptive Policy-Free Middleware
We believe that to fully support adaptive distributed applications, middleware must itself be adaptable, adaptive and policy-free. In this paper we present a new language-independ...
Alan Dearle, Graham N. C. Kirby, Stuart J. Norcros...