2106 search results - page 174 / 422 » Operational Semantics for DyLPs |
163
click to vote
CIA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
157
click to vote
ECMDAFA
2007
Springer
16 years 20 days ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
162
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
176
click to vote
WOLLIC
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
193
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Content-based publish/subscribe systems allow matching the content of events with predicates in the subscriptions. However, most existing systems only allow a limited set of opera...