1428 search results - page 198 / 286 » aims 2010 |
SOSYM
2010
14 years 8 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
SPIRE
2010
Springer
14 years 8 months ago
2010
Springer
The retrieval of similar documents in the Web from a given document is different in many aspects from information retrieval based on queries generated by regular search engine use...
SSPR
2010
Springer
14 years 8 months ago
2010
Springer
The aim of this paper is to find an answer to the question: What is the difference between dissimilarity-based classifications(DBCs) and other kernelbased classifications(KBCs)?...
107
click to vote
SSS
2010
Springer
14 years 8 months ago
2010
Springer
High availability is a critical feature for service clusters and cloud computing, and is often considered more valuable than performance. One commonly used technique to enhance the...