4346 search results - page 280 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
149
Voted
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
167
Voted
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
151
click to vote
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
150
click to vote
VLDB
1999
ACM
15 years 9 months ago
1999
ACM
In a temporal OODB, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal OODB, the OIDX should also index the objec...
144
click to vote
VL
2010
IEEE
15 years 3 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...