2517 search results - page 262 / 504 » Specifying Weak Sets |
213
click to vote
AWPN
2008
15 years 8 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
152
click to vote
CATA
2010
15 years 8 months ago
2010
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
177
click to vote
DBSEC
2010
15 years 8 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
159
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...
169
click to vote
DATESO
2008
15 years 8 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...