2019 search results - page 151 / 404 » Programming with Shared Data Abstractions |
135
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
149
click to vote
AMT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we propose a framework to improve the relevance of awareness information about people and subjects, by adapting recommendation techniques to real-time web ...
126
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
111
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
111
click to vote
CSMR
2005
IEEE
15 years 8 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...