Semantics of type classes revisited von Thatté, Satish R.

Volltext

Type inference with partial types von Thatte, Satish R.

Volltext

Finite Acyclic Theories are Unitary von Thatte, Satish R.

Volltext

Full abstraction and limiting completeness in equational languages von Thatte, Satish R.

Volltext

On the correspondence between two classes of reduction systems von Thatte, Satish R.

Volltext

Modal logic and algebraic specifications von Moss, Lawrence S., Thatte, Satish R.

Volltext

Coercive type isomorphism von Thatte, Satish R.

Volltext

Optimal semantics of data type extensions von Moss, Lawrence S., Thatte, Satish R.

Volltext

Increasing coordination service reliability von Klein Johannes, Junqueira Flavio Paiva, Thatte Satish R

Volltext bestellen

INCREASING COORDINATION SERVICE RELIABITY von Klein Johannes, Junqueira Flavio Paiva, Thatte Satish R

Volltext bestellen

Generalized protocol mapping von LANGWORTHY DAVID E, THATTE SATISH R

Volltext bestellen

Generalized protocol mapping von Langworthy, David E, Thatte, Satish R

Volltext bestellen

Enterprise data as office content von MCLOUGHLIN MARK C, ABEL TODD J, IDALFO RICHARD ROMA, PRICKRIL GREG, BURST ALEX, THATTE SATISH R

Volltext bestellen

Efficient processing of a convoy workflow scenario in a message driven process von MEHTA BIMAL, GRABER LEE, KLEIN JOHANNES, MAYBEE PAUL, SAHA SANJIB, BALASUBRAMANIAN SRIRAM, THATTE SATISH R, RINGSETH PAUL F

Volltext bestellen

Synchronization of runtime and application state via batching of workflow transactions von Maybee, Paul E, Somasekaran, Anandhi, Thatte, Satish R

Volltext bestellen

Synchronization of runtime and application state via batching of workflow transactions von MAYBEE PAUL E, SOMASEKARAN ANANDHI, THATTE SATISH R

Volltext bestellen

UNIFIED MODEL FOR AUTHORING AND EXECUTING FLOW-BASED AND CONSTRAINT-BASED WORKFLOWS von PARASNIS ABHAY VINAYAK, SHUKLA DHARMA K, MEHTA BIMAL K, GREEN DAVID G, THATTE SATISH R

Volltext bestellen

TECHNIQUES FOR A WEB SERVICES DATA ACCESS LAYER von SALGADO, ROLANDO, JIMENEZ, DALFO, RICARD, ROMA, I, PARANTHAMAN, SUNDAR, THATTE, SATISH, R, STANCIU, CONSTANTIN

Volltext bestellen

Unified model for authoring and executing flow-based and constraint-based workflows von PARASNIS ABHAY VINAYAK, SHUKLA DHARMA K, MEHTA BIMAL K, GREEN DAVID G, THATTE SATISH R

Volltext bestellen

Unified model for authoring and executing flow-based and constraint-based workflows von Green, David G, Mehta, Bimal K, Thatte, Satish R, Shukla, Dharma K, Parasnis, Abhay Vinayak

Volltext bestellen