3408 search results - page 444 / 682 » Logic, language, information and computation |
175
click to vote
BIRTHDAY
2005
Springer
16 years 25 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
185
click to vote
ICALP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
185
click to vote
AINA
2010
IEEE
16 years 11 days ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
183
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
210
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...