3239 search results - page 597 / 648 » A Logical Process Calculus |
142
click to vote
FORTE
2011
14 years 4 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
181
click to vote
ICAIL
2011
ACM
14 years 5 days ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
107
click to vote
IUI
2012
ACM
13 years 8 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
206
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
111
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...