4919 search results - page 779 / 984 » A Process-Ontological Model for Software Engineering |
168
click to vote
COMSWARE
2007
IEEE
16 years 24 days ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...
164
click to vote
FSTTCS
2007
Springer
16 years 19 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
143
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
157
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
161
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...