3819 search results - page 374 / 764 » An Outsourcing Model of Software Development |
199
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
190
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
166
click to vote
SERP
2003
15 years 8 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
166
click to vote
WSC
1997
15 years 8 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
179
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
The evolving concepts of mobile computing, context-awareness, and ambient intelligence are increasingly influencing user's experience of services. Therefore, the goal of this...