Sciweavers

3288 search results - page 572 / 658
» Feed-links for network extensions
Sort
View
FMICS
2008
Springer
15 years 8 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
BCSHCI
2007
15 years 8 months ago
HCI 2.0?: usability meets web 2.0
The web has already dramatically changed society, but the web itself is changing. Web2.0 sites mean that users have become the producers of content and the designers of each other...
Alan J. Dix, Laura Cowen
ISEMANTICS
2010
15 years 8 months ago
SESAME demonstrator: ontologies, services and policies for energy efficiency
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
Slobodanka Tomic, Anna Fensel, Tassilo Pellegrini
CSREASAM
2008
15 years 8 months ago
Implementing Cryptography for Packet Level Authentication
Abstract--Packet Level Authentication (PLA) is a novel countermeasure against distributed denial-of-service attacks. Each packet sent across a network has a digital signature and p...
Billy Bob Brumley
IJCAI
2007
15 years 7 months ago
Simple Training of Dependency Parsers via Structured Boosting
Recently, significant progress has been made on learning structured predictors via coordinated training algorithms such as conditional random fields and maximum margin Markov ne...
Qin Iris Wang, Dekang Lin, Dale Schuurmans