Sciweavers

554 search results - page 103 / 111
» Modeling and Reasoning about Service Behaviors and Their Com...
Sort
View
83
Voted
EMSOFT
2007
Springer
15 years 1 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
AGI
2008
14 years 11 months ago
Language Processing in Human Brain
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...
Alexander Borzenko
HICSS
2009
IEEE
228views Biometrics» more  HICSS 2009»
15 years 4 months ago
Agents of Diffusion - Insights from a Survey of Facebook Users
In times of web 2.0 and its strong focus on user interaction in business models, entrepreneurs and investors of internet businesses often back up their ambitious growth expectatio...
Rebecca Ermecke, Philip Mayrhofer, Stefan Wagner
INFOCOM
2007
IEEE
15 years 3 months ago
Revenue Focused Protection for VOD in DWDM Rings
—New protection schemes for video on demand (VOD) in a DWDM ring network are proposed that employ information per customer. Unlike prior schemes that rely on fixed priorities, th...
Ornan Ori Gerstel, Galen H. Sasaki, Ashok Balasubr...
SEM
2004
Springer
15 years 2 months ago
Supporting Generalized Context Interactions
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
Gregory Hackmann, Christine Julien, Jamie Payton, ...