775 search results - page 67 / 155 » A Service-oriented Approach for the i* Framework |
ICALP
2011
Springer
13 years 8 days ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents our framework for music information retrieval and visualization (CoMIRVA). We focus on the functions for visualizing similarities between music artists or song...
ICML
2010
IEEE
13 years 10 months ago
2010
IEEE
Discrete mixed membership modeling and continuous latent factor modeling (also known as matrix factorization) are two popular, complementary approaches to dyadic data analysis. In...
MOBISYS
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we present a trace-driven framework capable of building realistic mobility models for the simulation studies of mobile systems. With the goal of realism, this framew...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...