623 search results - page 109 / 125 » Declarative Network Verification |
103
click to vote
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
124
click to vote
GLVLSI
2009
IEEE
15 years 5 months ago
2009
IEEE
A methodology is proposed to efficiently estimate the substrate noise generated by large scale aggressor circuits. Small spatial voltage differences within the ground distribution...
173
click to vote
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
132
Voted
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
137
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...