Sciweavers

5961 search results - page 664 / 1193
» Design Science and Software Engineering
Sort
View
APSEC
2005
IEEE
16 years 17 days ago
A Tools Environment for Developing and Reasoning about Ontologies
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun...
APSEC
2005
IEEE
16 years 17 days ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
COMPSAC
2005
IEEE
16 years 17 days ago
Experiences on Intrusion Tolerance Distributed Systems
Distributed systems today are very vulnerable to malicious attacks, either from insiders or outsiders. When an attacker controls a component of the system, he may steal some sensi...
Dengguo Feng, Ji Xiang
ISPASS
2005
IEEE
16 years 16 days ago
Studying Thermal Management for Graphics-Processor Architectures
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
Jeremy W. Sheaffer, Kevin Skadron, David P. Luebke
IWPC
2005
IEEE
16 years 16 days ago
An Investigation into Professional Programmers' Mental Representations of Variables
Very little is known about professional programmers’ mental representations of variables, yet this information is vital in designing effective tools for program comprehension. I...
Jorma Sajaniemi, Raquel Navarro-Prieto