7209 search results - page 427 / 1442 » Software Engineering for Multi-Agent Systems |
94
Voted
ICST
2010
IEEE
15 years 1 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,...
203
Voted
IHI
2012
13 years 11 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...
126
click to vote
KBSE
2009
IEEE
15 years 10 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...
141
click to vote
TASE
2007
IEEE
15 years 9 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...
119
Voted
ICSM
2002
IEEE
15 years 8 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...