3307 search results - page 546 / 662 » The meaning of concurrent programs |
107
click to vote
TCBB
2010
15 years 3 months ago
2010
— Analysis of conformational changes is one of the keys to the understanding of protein functions and interactions. For the analysis, we often compare two protein structures, tak...
130
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
138
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
146
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
135
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...