368 search results - page 18 / 74 » Compositional performance modelling with the TIPPtool |
211
Voted
KBSE
2003
IEEE
16 years 21 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
193
click to vote
IPPS
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
184
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
338
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
217
Voted
ISPAN
2002
IEEE
16 years 10 days ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...