Sciweavers

2171 search results - page 201 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
191
Voted
IPPS
2007
IEEE
16 years 1 months ago
A Study of Publish/Subscribe Systems for Real-Time Grid Monitoring
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...
Chenxi Huang, Peter R. Hobson, Gareth A. Taylor, P...
190
Voted
ATAL
2008
Springer
15 years 9 months ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
213
Voted
WCRE
2009
IEEE
16 years 1 months ago
SQUAD: Software Quality Understanding through the Analysis of Design
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
Foutse Khomh
180
Voted
ERLANG
2003
ACM
16 years 8 days ago
Evaluating distributed functional languages for telecommunications software
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
Jan Henry Nyström, Philip W. Trinder, David J...
164
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
EMFStore: a model repository for EMF models
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
Maximilian Koegel, Jonas Helming