1613 search results - page 216 / 323 » Model-Driven Constraint Engineering |
157
click to vote
SAC
1997
ACM
15 years 8 months ago
1997
ACM
Infomaster is an information integration system. It provides integrated access to distributed, heterogeneous information sources, thus giving its users the illusion of a centraliz...
137
click to vote
ISLPED
1996
ACM
15 years 8 months ago
1996
ACM
The growing demand for portable electronic devices has led to an increased emphasis on power consumption within the semiconductor industry. As a result, designers are now encourag...
147
click to vote
COOPIS
1994
IEEE
15 years 8 months ago
1994
IEEE
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...
158
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
115
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...