1624 search results - page 186 / 325 » Modelling Variability for System Families |
116
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Computer supported collaboration systems, or groupware, are being used more and more in the real life. In the recent years, we are witnessing an increasing demand for supportin...
142
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
138
Voted
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple perspectives, and ethical issues. G...
147
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
161
Voted
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Tweets are the most up-to-date and inclusive stream of information and commentary on current events, but they are also fragmented and noisy, motivating the need for systems that c...