4919 search results - page 779 / 984 » A Process-Ontological Model for Software Engineering |
178
Voted
COMSWARE
2007
IEEE
16 years 1 months 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...
181
click to vote
FSTTCS
2007
Springer
16 years 1 months 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...
161
Voted
SOCO
2005
Springer
16 years 14 days 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...
173
Voted
FOSSACS
2004
Springer
16 years 11 days 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 ...
174
click to vote
FSTTCS
2004
Springer
16 years 11 days 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...