4917 search results - page 758 / 984 » Software Engineering is Not Computer Science |
192
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
199
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
171
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
154
click to vote
FSEN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
206
click to vote
SOCO
2007
Springer
16 years 19 days ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...