4036 search results - page 455 / 808 » Formal Methods |
173
click to vote
ICECCS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
159
Voted
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
156
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
188
click to vote
ICTAC
2004
Springer
16 years 3 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
165
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...