30240 search results - page 527 / 6048 » Robust System Design |
185
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
171
click to vote
WISES
2003
15 years 8 months ago
2003
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
185
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
176
click to vote
HICSS
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
222
click to vote
ICN
2007
Springer
16 years 1 months ago
2007
Springer
– Peer-to-peer is a popular distributed system. Mobile ad hoc networks and peer-to-peer file sharing systems both lack fixed infrastructure support and hold no a-priori knowledge...