585 search results - page 72 / 117 » Strategy Logic |
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...
153
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
141
click to vote
SDMW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
107
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
115
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...