4355 search results - page 639 / 871 » From Interpretation to Compilation |
139
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
172
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
149
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
156
click to vote
WCC
2005
Springer
16 years 2 days ago
2005
Springer
This paper is devoted to the study of the weights of binary irreducible cyclic codes. We start from McEliece’s interpretation of these weights by means of Gauss sums. Firstly, a ...
178
click to vote
ACMSE
2004
ACM
16 years 20 hour ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...