Sciweavers

4894 search results - page 162 / 979
» Choices
Sort
View
CIBSE
2009
ACM
15 years 11 months ago
Product Derivation in a Model-Driven Software Product Line using Decision Models
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
Hugo Arboleda, Andrés Romero, Rubby Casalla...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
CT
2001
Springer
15 years 11 months ago
Experimental Politics: Ways of Virtual Worldmaking
We think that Massively Multi-user Online Role-Playing Games (MMORPGs) will soon evolve into Online Societies of political and economic interest. Studying them will require a metho...
Max Borders, Doug Bryan
ISRR
2001
Springer
106views Robotics» more  ISRR 2001»
15 years 11 months ago
Vision-based Navigation, Environmental Representations and Imaging Geometries
We discuss the role of spatial representations and visual geometries in vision-based navigation. To a large extent, these choices determine the complexity and robustness of a given...
José Santos-Victor, Alexandre Bernardino
218
Voted
UML
2001
Springer
15 years 11 months ago
UML Modelling and Performance Analysis of Mobile Software Architectures
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
Vincenzo Grassi, Raffaela Mirandola