8780 search results - page 158 / 1756 » On the Feasibility of Consistent Computations |
189
click to vote
JIISIC
2008
15 years 8 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
156
Voted
TOPNOC
2008
15 years 7 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
190
click to vote
CVGIP
2004
15 years 7 months ago
2004
Topological volume skeletonization is a novel approach for automating transfer function design in visualization by extracting the topological structure of a volume dataset. The sk...
211
click to vote
ICDCS
2005
IEEE
16 years 21 days ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...
210
click to vote
COORDINATION
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...