3828 search results - page 293 / 766 » Proof-Based System Engineering Using a Virtual System Model |
196
click to vote
SPRINGSIM
2007
15 years 7 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 ...
163
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
190
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
168
click to vote
DMS
2008
15 years 8 months ago
2008
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...
213
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...