2106 search results - page 384 / 422 » Operational Semantics for DyLPs |
171
click to vote
TASE
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
146
click to vote
VL
2008
IEEE
15 years 12 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
129
click to vote
ACSC
2007
IEEE
15 years 12 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...
156
click to vote
AINA
2007
IEEE
15 years 12 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...
143
click to vote
DSN
2007
IEEE
15 years 12 months ago
2007
IEEE
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...