Sciweavers

1454 search results - page 94 / 291
» The impact of the nanoscale on computing systems
Sort
View
CCECE
2009
IEEE
15 years 4 months ago
Automata-based approach for kernel trace analysis
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavi...
Gabriel Matni, Michel Dagenais
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
15 years 3 months ago
Planning for a Big Bang in a Supply Chain: Fast Hedging for Production Indicators
— We concern ourselves with the process of making optimized production planning decisions in the face of low frequency, high impact uncertainty, which takes the form of a small n...
David L. Woodruff, Stefan Voß
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 3 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
WOA
2001
14 years 11 months ago
Enlightened Agents in TuCSoN
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
Alessandro Ricci, Andrea Omicini, Enrico Denti
ICMI
2009
Springer
146views Biometrics» more  ICMI 2009»
15 years 4 months ago
Learning from preferences and selected multimodal features of players
The influence of multimodal sources of input data to the construction of accurate computational models of user preferences is investigated in this paper. The case study presented...
Georgios N. Yannakakis