2223 search results - page 374 / 445 » Events in Property Patterns |
128
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
125
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Numerous privacy models based on the k-anonymity property have been introduced in the last few years. While differing in their methods and quality of their results, they all focus...
99
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an algorithm, called PCG, for planning the foothold positions of spider-like robots in planar tunnels bounded by piecewise linear walls. The paper focuses on 3-...
101
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Energy Consumption Ratio (ECR) test, a current-based test, has shown its ability to reduce the impact of process variations and detect hard-to-detect faults. The effectiveness of ...
123
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...