Sciweavers

8179 search results - page 434 / 1636
» The PRACTIONIST Development Tool
Sort
View
HICSS
2006
IEEE
142views Biometrics» more  HICSS 2006»
16 years 26 days ago
Measuring the Effectiveness of Honeypot Counter-Counterdeception
Honeypots are computer systems that try to fool cyberattackers into thinking they are ordinary computer systems, when in fact they are designed solely to collect data about attack...
Neil C. Rowe
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
16 years 13 days ago
TSUNAMI: An Integrated Timing-Driven Place And Route Research Platform
In this paper, we present an experimental integrated platform for the research, development and evaluation of new VLSI back-end algorithms and design flows. Interconnect scaling ...
Christophe Alexandre, Hugo Clément, Jean-Pa...
SEFM
2005
IEEE
16 years 12 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
GRID
2005
Springer
16 years 10 days ago
Grid-level computing needs pervasive debugging
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
Rashid Mehmood, Jon Crowcroft, Steven Hand, Steven...
JCDL
2003
ACM
81views Education» more  JCDL 2003»
16 years 2 days ago
The XML Log Standard for Digital Libraries: Analysis, Evolution, and Deployment
We describe current efforts and developments building on our proposal for an XML log standard format for digital library (DL) logging analysis and companion tools. Focus is given ...
Marcos André Gonçalves, Ganesh Panch...