3765 search results - page 640 / 753 » Formal Methods for Systems Engineering Behavior Models |
130
Voted
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
130
Voted
ACL
2008
15 years 4 months ago
2008
In this work, the problem of extracting phrase translation is formulated as an information retrieval process implemented with a log-linear model aiming for a balanced precision an...
137
Voted
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
151
Voted
IADIS
2003
15 years 4 months ago
2003
Developing and evolving complex Web-based systems with strict requirement for shorter time-to-market needs good and systematic engineering approaches and especially an elegant way...
142
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...