447 search results - page 62 / 90 » Integration Tools for Consistency Management between Design ... |
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
SOFTVIS
2005
ACM
14 years 1 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
STTT
2010
13 years 6 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
CLUSTER
2005
IEEE
14 years 1 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...