10916 search results - page 179 / 2184 » On Constructive Connectives and Systems |
171
click to vote
LISA
2004
15 years 8 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
188
click to vote
FORTE
2009
15 years 4 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
118
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Web service based data exchange has been the trend of EAI. We can create Proxies to expose existing systems as web services. There have been some tools that can help users to const...
163
click to vote
WSC
2001
15 years 8 months ago
2001
Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...
178
click to vote
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
A concept of complex objects, being artifacts that have one real physical part and several virtual parts representing certain aspects of the object, is introduced. These parts are ...