38 search results - page 8 / 8 » A Framework for Semantics of UML Sequence Diagrams in PVS |
ICOODB
2010
13 years 2 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
WWW
2001
ACM
14 years 5 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...