2060 search results - page 96 / 412 » The Composition of Event-B Models |
120
click to vote
DBSEC
2006
15 years 5 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...
171
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
151
Voted
TSMC
2010
14 years 10 months ago
2010
In recent years, there has been a growing interest in the study of particle swarm optimization (PSO) in dynamic environments. This paper presents a new PSO model, called PSO with c...
145
click to vote
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
208
click to vote
TSMC
2010
14 years 10 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...