Sciweavers

640 search results - page 97 / 128
» Improving the Syntax and Semantics of Goal Modelling Languag...
Sort
View
EMSOFT
2009
Springer
14 years 3 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
BPM
2007
Springer
329views Business» more  BPM 2007»
14 years 2 months ago
Collaborative e-Business Process Modelling: Transforming Private EPC to Public BPMN Business Process Models
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...
Volker Hoyer, Eva Bucherer, Florian Schnabel
FMOODS
2008
13 years 10 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
SEMWEB
2007
Springer
14 years 2 months ago
Ontology-Based Information Extraction for Business Intelligence
Abstract. Business Intelligence (BI) requires the acquisition and aggregation of key pieces of knowledge from multiple sources in order to provide valuable information to customers...
Horacio Saggion, Adam Funk, Diana Maynard, Kalina ...
CAISE
2005
Springer
14 years 2 months ago
An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data
The notion of spatio-temporal multi-granularity is fundamental when modeling objects in GIS applications in that it supports the representation of the temporal evolutions of these ...
Elisa Bertino, Dolores Cuadra, Paloma Martí...