1700 search results - page 218 / 340 » Specifying and implementing refactorings |
123
click to vote
IEEEARES
2006
IEEE
16 years 6 days ago
2006
IEEE
The convergence of cellular and IP technologies has pushed the integration of 3G and WLAN networks to the forefront. Gaining secure access to 3G services from 802.11 WLANs is a pr...
150
click to vote
INFOCOM
2006
IEEE
16 years 6 days ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
145
click to vote
KBSE
2006
IEEE
16 years 5 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
150
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 5 days ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
132
click to vote
AOSD
2006
ACM
16 years 4 days ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...