448 search results - page 80 / 90 » Shape specification in design using fuzzy logic |
188
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
ADBIS
2007
Springer
15 years 3 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
86
Voted
CL
2000
Springer
15 years 1 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
81
Voted
BROADNETS
2004
IEEE
15 years 1 months ago
2004
IEEE
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
USENIX
2000
14 years 11 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...