2585 search results - page 411 / 517 » Automating Coherent Logic |
140
click to vote
LICS
2006
IEEE
16 years 7 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
188
click to vote
TIME
2006
IEEE
16 years 7 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
171
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
173
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
145
Voted
CHES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...