1323 search results - page 48 / 265 » Extended Modeling Languages for Interaction Protocol Design |
107
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
174
click to vote
SDB
1995
15 years 7 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
149
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
240
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
143
click to vote
ICDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...