3429 search results - page 673 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
132
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
154
click to vote
PLDI
2009
ACM
16 years 19 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
158
click to vote
SAMOS
2007
Springer
15 years 12 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
168
click to vote
DMSN
2004
ACM
15 years 11 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
207
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...