4008 search results - page 537 / 802 » An expressive language of signatures |
147
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
165
click to vote
ESORICS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
205
click to vote
FOIKS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...
158
click to vote
ICLP
2004
Springer
16 years 1 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
202
click to vote
ISSAC
2004
Springer
16 years 17 hour ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...