Sciweavers

7366 search results - page 166 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
EMSOFT
2009
Springer
15 years 11 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
HOLOMAS
2007
Springer
15 years 10 months ago
Agent Methods for Network Intrusion Detection and Response
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...
Martin Rehák, Michal Pechoucek, David Medvi...
WWW
2007
ACM
16 years 5 months ago
EOS: expertise oriented search using social networks
In this paper, we present the design and implementation of our expertise oriented search (EOS) system. EOS is a researcher social network system. It has gathered information about...
Juan-Zi Li, Jie Tang, Jing Zhang, Qiong Luo, Yunha...
IADIS
2004
15 years 5 months ago
A New Performance Evaluation Technique for Web Information Retrieval Systems
The performance evaluation of an information retrieval system is a decisive aspect for the measure of the improvements in search technology. Our work intends to provide a framewor...
Fidel Cacheda, Francisco Puentes, Victor Carneiro
TASE
2007
IEEE
15 years 10 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...