762 search results - page 67 / 153 » Performance-oriented software architecture engineering: an e... |
105
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
119
click to vote
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
85
Voted
AGILEDC
2005
IEEE
15 years 6 months ago
2005
IEEE
In an effort to improve our understanding of the way we work, my team grouped together ideas from various sources to come up with an estimation scheme that avoided the confusing n...
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
100
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...