7209 search results - page 427 / 1442 » Software Engineering for Multi-Agent Systems |
138
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Intermittent failures and nondeterministic behavior complicate and compromise the effectiveness of software testing and debugging. To increase the observability of software faults,...
280
click to vote
IHI
2012
14 years 2 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
190
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
192
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
161
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
A large software project may be distributed over multiple sites when the organization believes that there are not enough people to staff a single collocated team. However, previou...