660 search results - page 97 / 132 » Timed automata based analysis of embedded system architectur... |
111
click to vote
IPTPS
2005
Springer
15 years 3 months ago
2005
Springer
Maze1 is a P2P file-sharing system with an active and large user base. It is developed, deployed and operated by an academic research team. As such, it offers ample opportunities ...
LCN
2008
IEEE
15 years 4 months ago
2008
IEEE
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...
114
click to vote
APN
2006
Springer
15 years 1 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
APCSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
113
click to vote
TCOS
2010
14 years 4 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...