1578 search results - page 216 / 316 » CASE Support for the Software Process: Advances and Problems |
140
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
157
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
136
click to vote
JODL
2008
15 years 4 months ago
2008
DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is the result of integrating various specialized DL services provided by partners of the D...
158
click to vote
JSAC
2010
15 years 2 months ago
2010
Abstract— Service placement is a key problem in communication networks as it determines how efficiently the user service demands are supported. This problem has been traditional...
129
click to vote
ICPP
2007
IEEE
15 years 10 months ago
2007
IEEE
The complexity of parallel I/O systems lies in the deep I/O stack with many software layers and concurrent I/O request handling at multiple layers. This paper explores multi-layer...