4635 search results - page 555 / 927 » Modeling Design Knowledge on Structure |
180
click to vote
JISBD
2001
15 years 8 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
197
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
229
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
208
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
170
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...