4349 search results - page 497 / 870 » A Comprehensive Process Model for Studying Software Process ... |
131
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
136
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...
140
Voted
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
141
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
147
Voted
IESA
2007
15 years 6 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...