2688 search results - page 194 / 538 » A formal semantics for P3P |
195
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
218
click to vote
IS
2012
14 years 2 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
168
click to vote
COORDINATION
2007
Springer
16 years 23 days ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
151
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
159
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...