Sciweavers

2513 search results - page 299 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
132
Voted
ICSM
2008
IEEE
15 years 7 months ago
Change impact analysis for AspectJ programs
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
83
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
97
Voted
HOLOMAS
2007
Springer
15 years 7 months ago
A Holonic Metamodel for Agent-Oriented Analysis and Design
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
Massimo Cossentino, Nicolas Gaud, Stéphane ...
111
Voted
MMB
2001
Springer
131views Communications» more  MMB 2001»
15 years 5 months ago
Seawind: a Wireless Network Emulator
Behavior of current communication protocols as well as current and future networked applications is of fundamental importance for technical and commercial success of Mobile Intern...
Markku Kojo, Andrei Gurtov, Jukka Manner, Pasi Sar...
93
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
Extracting library-based object-oriented applications
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
Peter F. Sweeney, Frank Tip