4211 search results - page 102 / 843 » A formal approach to MASQ |
122
Voted
DSS
2008
15 years 8 days ago
2008
The creation and deployment of knowledge repositories for managing, sharing, and reusing tacit knowledge within an organization has emerged as a prevalent approach in current know...
136
Voted
SAC
2008
ACM
15 years 6 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
83
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
107
click to vote
SERP
2003
15 years 2 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
146
Voted
ICTAI
2009
IEEE
14 years 10 months ago
2009
IEEE
We propose a new method for solving structured CSPs which generalizes and improves the Cyclic-Clustering approach [4]. First, the cutset and the tree-decomposition of the constrai...