2517 search results - page 155 / 504 » Specifying Weak Sets |
158
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
146
click to vote
FDL
2005
IEEE
16 years 3 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
180
click to vote
BERTINORO
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
145
click to vote
IVA
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
145
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
In this paper a method for Partial RDF Encryption (PRE) is proposed in which sensitive data in an RDF-graph is encrypted for a set of recipients while all non-sensitive data remain...