2409 search results - page 169 / 482 » Logical systems for structured specifications |
161
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
186
click to vote
SBCCI
2004
ACM
15 years 12 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
156
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
198
click to vote
LOPSTR
2005
Springer
15 years 12 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
167
click to vote
AINA
2007
IEEE
16 years 25 days ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...