750 search results - page 8 / 150 » Making a Difference in the Software Century |
138
click to vote
ECRTS
2010
IEEE
14 years 10 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
ECIS
2004
14 years 11 months ago
2004
Being hailed as possessing the ability to "drive effective business reengineering and management of core and support processes", it is not surprising that Enterprise Res...
AGILEDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
BMCBI
2008
14 years 9 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...