3514 search results - page 455 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
121
click to vote
DATE
2005
IEEE
15 years 8 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...
127
click to vote
IESA
2007
15 years 4 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...
123
click to vote
B
2007
Springer
15 years 9 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...
136
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
124
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...