1709 search results - page 132 / 342 » Precise Modeling of Design Patterns |
102
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
78
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a tree-pattern-based method of automatically and accurately finding code clones in program files. Duplicate tree-patterns are first collected by anti-unificati...
105
Voted
GRID
2008
Springer
15 years 1 months ago
2008
Springer
As computer networks rapidly increase in size and speed, Internet-distributed systems such as P2P, volunteer computing, and Grid systems are increasingly common. A precise and acc...
180
Voted
CIARP
2011
Springer
14 years 22 days ago
2011
Springer
Abstract. In many classification problems, and in particular in medical domains, it is common to have an unbalanced class distribution. This pose problems to classifiers as they ...
108
click to vote
HVC
2005
Springer
15 years 6 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...