29172 search results - page 330 / 5835 » Modeling Systems in CLP |
188
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
163
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
158
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
d abstractions for high-performance remote data access, mechanisms for scalable data replication, cataloging with rich semantic and syntactic information, data discovery, distribut...
158
click to vote
IJMTM
2007
15 years 6 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
181
click to vote
TON
2008
15 years 6 months ago
2008
Peer-to-peer (P2P) file sharing systems generate a major portion of the Internet traffic, and this portion is expected to increase in the future. We explore the potential of deploy...