338 search results - page 58 / 68 » On the Complexity of Termination Inference for Processes |
101
click to vote
DILS
2007
Springer
14 years 11 months ago
2007
Springer
The success of mass spectrometry-based proteomics in emerging applications such as biomarker discovery and clinical diagnostics, is predicated substantially on its ability to achie...
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
In orthodontics, retraction springs made of metallic wires are often used to move a tooth with respect to another by the virtue of the spring back effect. Specially selected form o...
ENTCS
2007
14 years 9 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
IPM
2007
14 years 9 months ago
2007
As access to information becomes more intensive in society, a great deal of that information is becoming available through diverse channels. Accordingly, users require effective ...
COGSR
2010
14 years 4 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...