6656 search results - page 325 / 1332 » Change, Change, Change: Three Approaches |
144
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduced coding guidelines for use by academics developing code as part of their research in areas of computer science or similar disciplines. We introduce the guidel...
144
click to vote
ICSM
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
156
Voted
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
198
click to vote
IDEAS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
132
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In recent years, mobile ad-hoc networks (MANETs) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability t...