1433 search results - page 245 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
102
click to vote
CEC
2010
IEEE
15 years 6 days ago
2010
IEEE
The optimization of spacecraft trajectories can be formulated as a global optimization task. The complexity of the problem depends greatly on the problem formulation, on the spacec...
IPMI
1999
Springer
15 years 3 months ago
1999
Springer
—Guidance systems designed for neurosurgery, hip surgery, spine surgery and for approaches to other anatomy that is relatively rigid can use rigid-body transformations to accompl...
170
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...
103
click to vote
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
118
click to vote
ZUM
1997
Springer
15 years 3 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...