8555 search results - page 144 / 1711 » Property Based Coordination |
120
click to vote
ENTCS
2006
15 years 4 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
152
Voted
CAGD
2004
15 years 4 months ago
2004
The four-triangles longest-edge (4T-LE) partition of a triangle t is obtained by joining the midpoint of the longest edge of t to the opposite vertex and to the midpoints of the t...
119
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Recently the sampling theory for certain parametric signals based on rate of innovation has been extended to all sampling kernels that satisfy the Strang-Fix conditions, thus incl...
119
Voted
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
Several types of breast carcinomas tend to spread along the surface of the ductal lumen. Spontaneous nipple discharge can be an early symptom of such cancer development that does ...
115
Voted
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...