8555 search results - page 144 / 1711 » Property Based Coordination |
ENTCS
2006
13 years 10 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...
CAGD
2004
13 years 10 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...
ICIP
2006
IEEE
14 years 11 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...
ISBI
2006
IEEE
14 years 10 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 ...
SACMAT
2006
ACM
14 years 4 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...