7835 search results - page 1239 / 1567 » Software are Processes Too |
184
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
173
click to vote
DFG
2004
Springer
16 years 5 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
215
click to vote
EKAW
2004
Springer
16 years 4 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
194
click to vote
ICSOC
2004
Springer
16 years 4 days ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
187
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...