Sciweavers

10406 search results - page 255 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
ATAL
2004
Springer
15 years 9 months ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann
136
Voted
QEST
2008
IEEE
15 years 10 months ago
KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...
Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni
136
Voted
PODS
1999
ACM
133views Database» more  PODS 1999»
15 years 8 months ago
Processing and Optimization of Multiway Spatial Joins Using R-Trees
One of the most important types of query processing in spatial databases and geographic information systems is the spatial join, an operation that selects, from two relations, all...
Dimitris Papadias, Nikos Mamoulis, Yannis Theodori...
COMPSAC
2003
IEEE
15 years 9 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters