12441 search results - page 2066 / 2489 » Frame Based Features |
192
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
234
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
261
click to vote
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
The importance of named entities in information retrieval and knowledge management has recently brought interest in characterizing semantic relationships between entities. In this...
179
click to vote
ACSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Access control and integrity constraints are well known approaches to ensure data integrity in commercial database systems. However, due to operational mistakes, malicious intent ...
181
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...