Sciweavers

5451 search results - page 603 / 1091
» Typed Operational Semantics
Sort
View
IEEEARES
2006
IEEE
16 years 26 days ago
Identifying Intrusions in Computer Networks with Principal Component Analysis
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
Wei Wang, Roberto Battiti
MIDDLEWARE
2005
Springer
16 years 9 days ago
Deep Middleware for the Divergent Grid
Abstract. Next-generation Grid applications will be highly heterogeneous in nature, will run on many types of computer and device, will operate within and across many heterogeneous...
Paul Grace, Geoff Coulson, Gordon S. Blair, Barry ...
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
16 years 2 days ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones
INFOCOM
2002
IEEE
15 years 11 months ago
Constraint-based path selection methods for on-demand provisioning in WDM networks
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...
Admela Jukan, Gerald Franzl
WETICE
2002
IEEE
15 years 11 months ago
On Communication Security in Wireless Ad-Hoc Sensor Networks
Networks of wireless microsensors for monitoring physical environments have emerged as an important new application area for the wireless technology. Key attributes of these new t...
Sasha Slijepcevic, Miodrag Potkonjak, Vlasios Tsia...