Sciweavers

2370 search results - page 413 / 474
» On the Revival of Dynamic Languages
Sort
View
94
Voted
CASCON
2007
110views Education» more  CASCON 2007»
15 years 2 months ago
Runtime monitoring of web service conversations
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennet...
ICWS
2010
IEEE
15 years 2 months ago
Extending BPMN for Supporting Customer-Facing Service Quality Requirements
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizati...
Kawther Saeedi, Liping Zhao, Pedro R. Falcone Samp...
117
Voted
LREC
2010
191views Education» more  LREC 2010»
15 years 2 months ago
Spatial Role Labeling: Task Definition and Annotation Scheme
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
Parisa KordJamshidi, Martijn van Otterlo, Marie-Fr...
90
Voted
LREC
2010
163views Education» more  LREC 2010»
15 years 2 months ago
Meaning Representation: From Continuity to Discreteness
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
Fabienne Venant
177
Voted
FMOODS
2008
15 years 2 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko