4726 search results - page 550 / 946 » Domain Modeling of Software Process Models |
147
click to vote
METRICS
2003
IEEE
16 years 2 days ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
166
click to vote
SEKE
2004
Springer
16 years 4 days ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
193
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
182
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
176
click to vote
FM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...