6607 search results - page 144 / 1322 » Making TeX Work |
104
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
107
Voted
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
113
click to vote
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
The notion of agent’s goals is crucial in negotiation dialogues. In fact, during a negotiation, each agent tries to make and to accept the offers which satisfy its own goals. Wor...
126
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
148
click to vote
GISCIENCE
2004
Springer
15 years 8 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...