5398 search results - page 154 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
166
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe research into the use of ontologies to integrate access to cultural heritage and photographic archives. The use of the CIDOC CRM and CRM Core ontologies...
150
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- When designing a distributed control system, the system designer has a choice in how to connect the different units through communication channels. In practice, noiseles...
164
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
189
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
249
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...