3333 search results - page 255 / 667 » Abstract Proof Search |
203
click to vote
VISUALIZATION
1996
IEEE
1996
IEEE
Flexible Information Visualization of Multivariate Data from Biological Sequence Similarity Searches
15 years 10 months ago
Information visualization faces challenges presented by the need to represent abstract data and the relationships within the data. Previously, we presented a system for visualizin...
192
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. A hidden vector encryption scheme (HVE) is a derivation of identity-based encryption, where the public key is actually a vector over a certain alphabet. The decryption ke...
291
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
160
click to vote
MKM
2007
Springer
16 years 22 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
189
click to vote
COMSWARE
2006
IEEE
16 years 20 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...