1395 search results - page 89 / 279 » Incremental Construction Approach for Distributed System Spe... |
AUTOMATICA
2010
15 years 1 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
112
click to vote
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
109
click to vote
ENTCS
2002
15 years 1 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
125
click to vote
ICWS
2009
IEEE
14 years 11 months ago
2009
IEEE
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
102
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...