3771 search results - page 624 / 755 » Subobject Transformation Systems |
193
click to vote
SOCO
2007
Springer
16 years 14 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
160
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
174
click to vote
ACSD
2006
IEEE
16 years 13 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
157
click to vote
AHS
2006
IEEE
16 years 13 days ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
170
click to vote
APSEC
2006
IEEE
16 years 12 days ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...