4008 search results - page 669 / 802 » An expressive language of signatures |
160
click to vote
AIMS
2007
Springer
16 years 17 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
202
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
174
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
172
click to vote
SEFM
2006
IEEE
16 years 12 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
171
click to vote
ASPLOS
2006
ACM
16 years 11 days ago
2006
ACM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...