5113 search results - page 829 / 1023 » Model-integrated system development: models, architecture, a... |
164
click to vote
SCS
2003
15 years 7 months ago
2003
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
168
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
190
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
159
click to vote
ENGL
2008
15 years 6 months ago
2008
Strong competition on the global automotive market is forcing car manufacturers rethink their strategic approach to manufacturing. In order to be competitive, companies need to man...
169
click to vote
ESCIENCE
2006
IEEE
2006
IEEE
CIMA Based Remote Instrument and Data Access: An Extension into the Australian e-Science Environment
16 years 17 days ago
The Common Instrument Middleware Architecture (CIMA) is being used as a core component of a portal based remote instrument access system being developed as an Australian e-Science...