959 search results - page 158 / 192 » Transfers between Logics and their Applications |
126
Voted
USENIX
2007
15 years 4 months ago
2007
Today’s Internet users and applications are placing increased demands on Internet service providers (ISPs) to deliver fine-grained, flexible route control. To assist network o...
109
click to vote
CN
2004
15 years 1 months ago
2004
: This paper is based on the discussion during a panel that took place at the 7th Workshop on Feature Interactions in Telecommunications and Software Systems in Ottawa, Canada, Jun...
111
click to vote
IBMSJ
1998
15 years 1 months ago
1998
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
135
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
114
Voted
NDJFL
2000
15 years 1 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...