6201 search results - page 402 / 1241 » Implementation of Axiomatic Language |
171
click to vote
WISE
2005
Springer
16 years 14 days ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
214
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
212
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
224
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
167
click to vote
WCET
2008
15 years 8 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...