2836 search results - page 301 / 568 » Model Checking for Software Architectures |
150
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
131
click to vote
ICTAI
2003
IEEE
15 years 10 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
184
Voted
ISSS
1996
IEEE
15 years 9 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
175
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...