2687 search results - page 359 / 538 » Formal Analysis of PKCS |
193
click to vote
ISMAR
2006
IEEE
16 years 16 days ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
198
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
185
click to vote
ACRI
2006
Springer
16 years 16 days ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
153
click to vote
CONEXT
2006
ACM
16 years 15 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
144
click to vote
MSR
2006
ACM
16 years 15 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...