Sciweavers

772 search results - page 41 / 155
» Creating and analysing models in IBM Task Modeler
Sort
View
139
Voted
APLAS
2010
ACM
15 years 1 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander
244
Voted
CIKM
2011
Springer
14 years 3 months ago
Focusing on novelty: a crawling strategy to build diverse language models
Word prediction performed by language models has an important role in many tasks as e.g. word sense disambiguation, speech recognition, hand-writing recognition, query spelling an...
Luciano Barbosa, Srinivas Bangalore
ISF
2007
105views more  ISF 2007»
15 years 3 months ago
COSMO: A conceptual framework for service modelling and refinement
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
118
Voted
SIGADA
1999
Springer
15 years 7 months ago
Towards a distributed object-oriented propagation model using Ada95
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
Donald M. Needham, Steven A. Demurjian, Thomas J. ...
129
Voted
WOSP
2004
ACM
15 years 9 months ago
Software performance modelling using PEPA nets
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Stephen Gilmore, Jane Hillston, Leïla Kloul, ...