6149 search results - page 890 / 1230 » Revealing the programming process |
153
click to vote
FMCAD
2004
Springer
16 years 6 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
183
click to vote
FMCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
220
Voted
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
154
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
158
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...