3514 search results - page 468 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
118
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
137
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
Mobility is redefining the hardware and software fabric of distributed systems. Wireless communication allows network hosts to participate in a distributed computation while on t...
126
click to vote
JBCS
2002
15 years 2 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
122
Voted
SC
2009
ACM
15 years 7 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
116
Voted
FUIN
2008
15 years 2 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....