10289 search results - page 19 / 2058 » Standard bases in K |
179
click to vote
PLDI
1995
ACM
15 years 5 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
107
Voted
INFORMATICALT
2010
15 years 10 days ago
2010
In a fuzzy identity-based encryption (IBE) scheme, a user with the secret key for an identity ID is able to decrypt a ciphertext encrypted with another identity ID if and only if I...
189
Voted
GRID
2010
Springer
14 years 11 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...
134
Voted
ICST
2010
IEEE
15 years 12 days ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
97
Voted
CBMS
2003
IEEE
15 years 7 months ago
2003
IEEE
Nowadays, several health institutions already use clinical report systems. However the majority of these systems do not comply with any standard for codification, storage and tran...