Sciweavers

72
Voted
PEPM
2015
ACM
9 years 11 months ago
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection
Attribute Grammars (AGs) extend Context-Free Grammars with attributes: information gathered on the syntax tree that adds semantics to the syntax. AGs are very well suited for desc...
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dij...
73
Voted
PEPM
2015
ACM
9 years 11 months ago
Safe Concurrency Introduction through Slicing
Huiqing Li, Simon J. Thompson
83
Voted
PEPM
2015
ACM
9 years 11 months ago
SWIN: Towards Type-Safe Java Program Adaptation between APIs
Java program adaptation between different APIs is a common task in software development. When an old API is upgraded to an incompatible new version, or when we want to migrate an ...
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang H...
200
Voted
ARC
2015
Springer
17views Hardware» more  ARC 2015»
9 years 11 months ago
Means to enable enterprise interoperation: CIMOSA Object Capability Profiles and CIMOSA Collaboration View
: Collaboration between enterprises has moved from regional and national environments to a global one. This has tremendously increased the need for information exchange between col...
Kurt Kosanke, François B. Vernadat, Martin ...
225
Voted
ARC
2015
Springer
14views Hardware» more  ARC 2015»
9 years 11 months ago
Single range observability for cooperative underactuated underwater vehicles
: The paper describes the single range observability issues related to a kinematics model of cooperating underwater vehicles. The paper extends previous results building on an augm...
Gianfranco Parlangeli, Giovanni Indiveri