766 search results - page 73 / 154 » How to Read a Signature |
JALC
2006
13 years 9 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
The AquaLogic Data Services Platform (ALDSP) is a BEA middleware platform for creating services that access and manipulate information drawn from multiple heterogeneous sources of ...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
This is a case study about the early adoption and use of micro-blogging in a Fortune 500 company. The study used several independent data sources: five months of empirical micro-b...
SADFE
2009
IEEE
14 years 3 months ago
2009
IEEE
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...