2206 search results - page 418 / 442 » Software Engineering and Modeling Education: Problems and So... |
GECCO
2008
Springer
15 years 13 days ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
108
click to vote
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...
109
click to vote
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...
110
click to vote
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...
122
click to vote
AISS
2010
14 years 6 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...