4211 search results - page 116 / 843 » A formal approach to MASQ |
165
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
168
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
155
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
173
click to vote
APAQS
2000
IEEE
15 years 10 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
189
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...