Sciweavers

7064 search results - page 1046 / 1413
» From States to Histories
Sort
View
MSE
2005
IEEE
154views Hardware» more  MSE 2005»
16 years 14 days ago
A Platform FPGA-Based Hardware-Software Undergraduate Laboratory
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced course offerings vary, and are often not availabl...
Joseph Schneider, Mikel Bezdek, Ziyu Zhang, Zhao Z...
QSIC
2005
IEEE
16 years 14 days ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
SAINT
2005
IEEE
16 years 14 days ago
A Context-centric Security Middleware for Service Provisioning in Pervasive Computing
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
Antonio Corradi, Rebecca Montanari, Daniela Tibald...
SBACPAD
2005
IEEE
139views Hardware» more  SBACPAD 2005»
16 years 14 days ago
Chained In-Order/Out-of-Order DoubleCore Architecture
Complexity is one of the most important problems facing microarchitects. It is exacerbated by the application of optimizations, by scaling to higher issue widths and, in general, ...
Miquel Pericàs, Adrián Cristal, Rube...
SP
2005
IEEE
16 years 14 days ago
Language-Based Generation and Evaluation of NIDS Signatures
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
Shai Rubin, Somesh Jha, Barton P. Miller
« Prev « First page 1046 / 1413 Last » Next »