8828 search results - page 1533 / 1766 » Formal methods in practice |
169
click to vote
SPLC
2004
15 years 8 months ago
2004
This paper elaborates on the coordination and management of evolving software product-lines, where development teams work around a shared and reusable domain infrastructure. The tr...
155
click to vote
INTERACT
2003
15 years 8 months ago
2003
: The HCI community has long been accused of delivering ‘common sense’, ‘useless’ information, and to be ignorant of business needs. HCI experts are also criticized for fai...
156
click to vote
WSC
2001
15 years 8 months ago
2001
Although they focus on the big picture, high level supply chain models cannot gloss over the capacity of production nodes to meet production allocations. Capacity is not simply a ...
208
click to vote
WOB
2004
15 years 8 months ago
2004
ABSTRACT. Reconfigurable systolic arrays can be adapted to efficiently resolve a wide spectrum of computational problems; parallelism is naturally explored in systolic arrays and r...
215
click to vote
SCS
2003
15 years 8 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...