2261 search results - page 293 / 453 » Modeling the Experimental Software Engineering Process |
129
Voted
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
153
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
134
Voted
MITJSME
1989
15 years 7 months ago
1989
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
138
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
125
Voted
IUI
2003
ACM
15 years 8 months ago
2003
ACM
The Stock Tracker is an adaptive recommendation system for trading stocks that automatically acquires content-based models of user preferences to tailor its buy and sell advice. T...