4212 search results - page 713 / 843 » Rights Expression Languages |
197
click to vote
CONCUR
2007
Springer
16 years 14 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...
172
click to vote
SEMWEB
2007
Springer
16 years 12 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...
170
click to vote
SEFM
2006
IEEE
16 years 9 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...
167
click to vote
ASPLOS
2006
ACM
16 years 8 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...
215
click to vote
HASKELL
2006
ACM
16 years 8 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...