6581 search results - page 465 / 1317 » Formalizing Design Patterns |
186
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
166
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
194
click to vote
MEMOCODE
2007
IEEE
16 years 22 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
180
click to vote
CBMS
2006
IEEE
16 years 15 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
188
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Finding latent patterns in high dimensional data is an important research problem with numerous applications. The most well known approaches for high dimensional data analysis are...