5252 search results - page 640 / 1051 » Logic in Access Control |
168
Voted
FROCOS
2005
Springer
16 years 12 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
168
click to vote
FSKD
2005
Springer
16 years 12 days ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
196
click to vote
SIGMOD
2004
ACM
16 years 8 days ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
173
Voted
FATES
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
176
click to vote
ISLPED
2003
ACM
16 years 3 days ago
2003
ACM
The increasing prominence of portable systems and the need to limit power consumption and hence, heat dissipation in very high density VLSI chips have led to rapid and innovative ...