9444 search results - page 1575 / 1889 » The Language Model LMNtal |
162
click to vote
QSIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
156
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
166
Voted
WISE
2005
Springer
16 years 8 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...
164
Voted
WORDS
2005
IEEE
16 years 8 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
155
click to vote
WSE
2005
IEEE
16 years 8 days ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...