3828 search results - page 170 / 766 » Proof-Based System Engineering Using a Virtual System Model |
152
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
Motivated by the requirements of the present archaeology, we are developing an automated system for archaeological classification and reconstruction of ceramics. Due to the natur...
170
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
190
click to vote
TC
2010
15 years 4 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
149
click to vote
CCE
2007
15 years 7 months ago
2007
: Facilitating and managing the development and application of effective shared work practice in distributed teams remain a key challenge for effective collaborative engineering. W...
252
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...