979 search results - page 102 / 196 » Footprints in Local Reasoning |
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
WECWIS
2008
IEEE
14 years 4 months ago
2008
IEEE
Reverse pricing as a special form of dynamic pricing has become a growing interest in e-commerce. It gives buyers an active role: The price of a transaction is not given by the su...
AIMS
2008
Springer
14 years 4 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In the past many solutions for simultaneous localization and mapping (SLAM) have been presented. Recently these solutions have been extended to map large environments w...