1893 search results - page 18 / 379 » Computational composites |
111
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
111
click to vote
TACAS
1997
Springer
15 years 5 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
EUSFLAT
2003
15 years 2 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
111
click to vote
ICCS
1997
Springer
15 years 5 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
101
click to vote
SAC
2008
ACM
15 years 28 days ago
2008
ACM
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...