368 search results - page 40 / 74 » Compositional performance modelling with the TIPPtool |
ENTCS
2006
14 years 9 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
MTA
2006
14 years 9 months ago
2006
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
The ability of recognizing object categories in 3D data is still an underdeveloped topic. This paper investigates on adopting Implicit Shape Models (ISMs) for 3D categorization, th...
WETICE
2006
IEEE
15 years 3 months ago
2006
IEEE
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...