7557 search results - page 1298 / 1512 » Modeling Timed Concurrent Systems |
215
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
179
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
227
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Using off-the-shelf commodity workstations and PCs to build a cluster for parallel computing has become a common practice. A choice of a cost-effective cluster computing platform ...
187
click to vote
DBSEC
2003
15 years 8 months ago
2003
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
228
click to vote
ICHIM
2001
15 years 8 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...