Sciweavers

2558 search results - page 278 / 512
» Model Composition Contracts
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 9 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
143
Voted
JASIS
2008
102views more  JASIS 2008»
15 years 5 months ago
Hierarchical summarization of large documents
mation science has shown that human abstractors extract sentences for summaries based on the hierarchical structure of documents; however, the existing automatic summarization mode...
Christopher C. Yang, Fu Lee Wang
147
Voted
JCM
2006
96views more  JCM 2006»
15 years 5 months ago
Distributed Algorithms for Dynamic Bandwidth Provisioning in Communication Networks
Efficient dynamic resource provisioning algorithms are necessary to the development and automation of Quality of Service (QoS) networks. The main goal of these algorithms is to off...
Jocelyne Elias, Fabio Martignon, Antonio Capone, G...
TGC
2007
Springer
15 years 11 months ago
Location-Aware Quality of Service Measurements for Service-Level Agreements
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Cla...
145
Voted
CAISE
2000
Springer
15 years 9 months ago
Gossip: An Awareness Engine for Increasing Product Awareness in Distributed Development Projects
More and more product development projects involve geographically distributed groups of developers. One problem in such groups is the long term lack of awareness of the activities ...
Babak A. Farshchian