12774 search results - page 226 / 2555 » A Framework for Proof Systems |
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
143
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— It has recently been shown that multi-cell cooperations in cellular networks, enabling distributed antenna systems and joint transmission or joint detection across cell...
184
click to vote
DFMA
2005
IEEE
16 years 7 days ago
2005
IEEE
File transfer acts an increasing role in digital TV studios and especially for their interconnections. Using adequate file formats to exchange data presents several advantages: lo...
161
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
In this demo, we present Nile-PDT, a Phenomenon Detection and Tracking framework using the Nile data stream management system. A phenomenon is characterized by a group of streams ...
150
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Programmers must attain knowledge about a system before they can perform specific software maintenance tasks on it. Traditionally, computer scientists have described the activity ...