Search Sciweavers | Sciweavers

4286 search results - page 36 / 858

» Formalizing Service Interactions

137

click to vote

INTERACT
2003

94views Human Computer Interaction» more INTERACT 2003»

Messaging And Formality: Will IM Follow in the Footsteps of Email?

15 years 7 months ago

Download research.microsoft.com

: One virtue of instant messaging is informality. As messaging is used more in work settings, being able to consult an exchange later can be beneficial. However, archived communica...

Tracey Lovejoy, Jonathan Grudin

claim paper

Read More »

Voted

ATAL
2009
Springer

125views Intelligent Agents» more ATAL 2009»

Formal aspects of classifying and selecting business services

16 years 15 days ago

Download www.aamas-conference.org

Yathiraj B. Udupi, Munindar P. Singh

claim paper

Read More »

102

Voted

ASM
2003
ASM

76views Computational Biology» more ASM 2003»

Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks

15 years 11 months ago

Download www.cs.sfu.ca

András A. Benczúr, Uwe Glässer,...

claim paper

Read More »

Voted

ICSOC
2009
Springer

77views Applied Computing» more ICSOC 2009»

A Service-Oriented UML Profile with Formal Support

15 years 10 months ago

Download www.albertolluch.com

Roberto Bruni, Matthias M. Hölzl, Nora Koch, ...

claim paper

Read More »

127

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers