Sciweavers

7580 search results - page 1054 / 1516
» Prometheus design tool
Sort
View
SP
2002
IEEE
117views Security Privacy» more  SP 2002»
15 years 6 months ago
Grids: The top ten questions
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
Jennifer M. Schopf, Bill Nitzberg
SAC
2008
ACM
15 years 6 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
TASE
2008
IEEE
15 years 6 months ago
An Extension to Pointer Logic for Verification
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang,...
EUROMED
2010
15 years 5 months ago
Architectural Heritage Online: Ontology-Driven Website Generation for World Heritage Sites in Danger
We introduce an online knowledge base for semantic representation and annotation of a world heritage site in danger. For this purpose we designed ontology inside the protégé tool...
Elham Andaroodi, Asanobu Kitamoto
IJOE
2008
122views more  IJOE 2008»
15 years 5 months ago
Mixed Reality Environment for Web-Based Laboratory Interactive Learning
: This paper presents a web-based laboratory for distance learners by incorporating simulation and hardware implementation into web-based e-learning systems. It presents a developm...
Kasim M. Al-Aubidy
« Prev « First page 1054 / 1516 Last » Next »