4418 search results - page 734 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
139
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
189
click to vote
RTA
2007
Springer
16 years 17 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
179
click to vote
ACCV
2006
Springer
16 years 13 days ago
2006
Springer
Recovering the pose of a person from single images is a challenging problem. This paper discusses a bottom-up approach that uses local image features to estimate human upper body p...
205
click to vote
MINENET
2006
ACM
16 years 12 days ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
185
click to vote
MOBIWAC
2006
ACM
16 years 12 days ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...