4693 search results - page 632 / 939 » Verifying Hybrid Systems |
175
click to vote
HPCC
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
197
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
175
click to vote
ICWE
2007
Springer
16 years 27 days ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
154
click to vote
ISI
2007
Springer
16 years 27 days ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...
215
click to vote
AHS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents an efficient hardware architecture for real-time implementation of adaptive deblocking filter algorithm used in H.264 video coding standard. This hardware is d...