4245 search results - page 5 / 849 » Integrating Software by Integrating People |
110
click to vote
JAR
2006
15 years 1 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
SOFTWARE
2002
15 years 1 months ago
2002
120
Voted
AGILEDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper describes a journey from 2004 to 2008 when SoftwarePeople in Denmark, together with a partner from Bangladesh, established a subsidiary company more than 7000 km away f...
112
Voted
IJCCBS
2010
15 years 9 days ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
109
Voted
FLAIRS
2004
15 years 3 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...