4418 search results - page 263 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
313
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Simultaneously clustering columns and rows (coclustering) of large data matrix is an important problem with wide applications, such as document mining, microarray analys...
195
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
174
click to vote
CIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Recent advances in peer to peer (P2P) search algorithms have presented viable structured and unstructured approaches for full-text search. We posit that these existing ap...
180
click to vote
IFM
2004
Springer
16 years 23 min ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
184
click to vote
COORDINATION
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...