959 search results - page 136 / 192 » Transfers between Logics and their Applications |
161
click to vote
CIDR
2011
14 years 9 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
157
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
177
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
214
click to vote
CEEMAS
2001
Springer
15 years 10 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
160
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...