10072 search results - page 141 / 2015 » Composition of Model Programs |
147
Voted
CSCWD
2007
Springer
15 years 8 months ago
2007
Springer
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
130
Voted
IWCMC
2010
ACM
15 years 4 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
130
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
137
Voted
ECSA
2010
Springer
15 years 19 days ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
140
Voted
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...