Sciweavers

3376 search results - page 428 / 676
» Analyzing Software Evolvability
Sort
View
ICFEM
2009
Springer
15 years 11 months ago
An Empirical Study of Structural Constraint Solving Techniques
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
Junaid Haroon Siddiqui, Sarfraz Khurshid
182
Voted
ICSE
1999
IEEE-ACM
15 years 11 months ago
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
Michael D. Ernst, Jake Cockrell, William G. Griswo...
AMET
1998
Springer
15 years 11 months ago
Agent-Mediated Integrative Negotiation for Retail Electronic Commerce
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. Although shopping agents provide convenience for consume...
Robert H. Guttman, Pattie Maes
AINA
2007
IEEE
15 years 10 months ago
On the Design of an Efficient Architecture for Supporting Large Crowds of Autonomous Agents
Crowd simulations require both rendering visually plausible images and managing the behavior of autonomous agents. Therefore, these applications need an efficient design that allo...
Miguel Lozano, Pedro Morillo, Juan M. Orduñ...
CODES
2004
IEEE
15 years 10 months ago
Low energy security optimization in embedded cryptographic systems
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
Catherine H. Gebotys