1705 search results - page 252 / 341 » Representing Constraints with Automata |
177
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
150
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
A knowledge-intensive problem is often not solved by an individual knowledge artifact; rather the solution needs to draw upon multiple, and even heterogeneous, knowledge artifacts....
188
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
165
click to vote
FSEN
2009
Springer
16 years 29 days ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
203
click to vote
ICMT
2009
Springer
16 years 29 days ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...