3077 search results - page 552 / 616 » Design Principles for Application Integration |
EI
1998
15 years 2 months ago
1998
The traditional techniques of image capture, scanning, proofing, and separating do not take advantage of colorimetry and spectrophotometry. For critical color-matching application...
104
click to vote
FORTE
1994
15 years 2 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
121
click to vote
SPRINGSIM
2007
15 years 2 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
123
click to vote
APCCM
2009
15 years 2 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
106
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...