1288 search results - page 247 / 258 » Integrating formal models into the programming languages cou... |
202
click to vote
LICS
2009
IEEE
16 years 19 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
170
click to vote
SEMWEB
2007
Springer
16 years 3 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...
163
click to vote
AOSD
2006
ACM
15 years 12 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
175
click to vote
DSRT
2008
IEEE
16 years 14 days ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
204
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...