197 search results - page 37 / 40 » Structural Operational Semantics for Stochastic Process Calc... |
137
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
97
Voted
ACSC
2007
IEEE
15 years 9 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
128
Voted
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
123
Voted
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web services are becoming an important enabler of the Semantic Web. Besides the need for a rich description mechanism, Web Service information should be made available in an acces...
129
Voted
ICMI
2005
Springer
15 years 8 months ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...