4349 search results - page 497 / 870 » A Comprehensive Process Model for Studying Software Process ... |
166
click to vote
DATE
2006
IEEE
16 years 23 days 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...
170
click to vote
CSSE
2008
IEEE
16 years 1 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...
186
click to vote
B
2007
Springer
16 years 27 days 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...
177
click to vote
DATE
2005
IEEE
16 years 10 days 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...
173
click to vote
IESA
2007
15 years 8 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...