7430 search results - page 1068 / 1486 » Programming Applications in CIFF |
174
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...
183
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
184
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
178
click to vote
ICTAC
2005
Springer
16 years 9 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
155
click to vote
ICWL
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...