1492 search results - page 130 / 299 » Integrative, model-based engineering design |
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a corr...
ENTCS
2008
13 years 8 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
DAC
2007
ACM
13 years 12 months ago
2007
ACM
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
APSCC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...