2513 search results - page 350 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
125
click to vote
ICCAD
2007
IEEE
15 years 4 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
99
Voted
ARGMAS
2004
Springer
15 years 4 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
138
click to vote
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
131
Voted
COMPGEOM
2001
ACM
15 years 4 months ago
2001
ACM
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...
104
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Grid-warping is a recent placement strategy based on a novel physical analogy: rather than move the gates to optimize their location, it elastically deforms a model of the 2-D chi...