1705 search results - page 252 / 341 » Representing Constraints with Automata |
94
Voted
TPHOL
2009
IEEE
15 years 7 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...
AI
2009
Springer
15 years 7 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....
121
click to vote
TRUSTBUS
2009
Springer
15 years 7 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...
110
Voted
FSEN
2009
Springer
15 years 7 months 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...
141
Voted
ICMT
2009
Springer
15 years 7 months 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...