Sciweavers

1678 search results - page 125 / 336
» An ASM Specification of C
Sort
View
WER
2007
Springer
15 years 12 months ago
Preliminary Results from an Empirical Study in Market-Driven Software Companies
In this paper we present initial findings from an empirical study that has been conducted with 13 marketdriven software companies based in Recife, Brazil. The objective of the stu...
Carina Alves, Silvia Pereira, George Valenç...
AINA
2006
IEEE
15 years 12 months ago
Performance Analysis of Network Topologies in Agent-based Open Connectivity Architecture for DSS
Performance analysis of agent network topologies helps multi-agent system developers to understand the impact of topology on system efficiency and effectiveness. Appropriate topol...
Hao Lan Zhang, Clement H. C. Leung, Gitesh K. Raik...
148
Voted
WCRE
2006
IEEE
15 years 11 months ago
The Experimental Paradigm in Reverse Engineering: Role, Challenges, and Limitations
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
Lionel C. Briand
INTERSENSE
2006
ACM
15 years 11 months ago
Particle-based methodology for representing mobile ad-hoc networks
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...
Carlos J. Martinez, Marisa López, Luis C. E...
ICITA
2005
IEEE
15 years 11 months ago
Accessibility Solutions for Visually Impaired Users of Web Discussion Boards
Web-based content management systems present specific presentation and navigational problems for visually impaired users. These systems are widely used in e-learning, ironically t...
Paul Andrew Watters, Antonio Araujo, Armin Hezart,...