Sciweavers

4806 search results - page 342 / 962
» Interactive uncertainty analysis
Sort
View
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
16 years 11 days ago
A Soft Systems Analysis of Social Cognition In Boundary-Spanning Innovation
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
Susan Gasson
ISOLA
2004
Springer
16 years 3 days ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 11 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
COMPSAC
1999
IEEE
15 years 11 months ago
Initial Design of the "Plug-n-Analyze" Framework for Architecture Tradeoff Analysis
This paper presents an initial design of the "Plug-nAnalyze" framework for the tradeoff analysisin determining architecture alternatives that have different strength and...
Hoh In, Ana Erendira Flores-Mendoza
LCTRTS
1999
Springer
15 years 11 months ago
Live Memory Analysis for Garbage Collection in Embedded Systems
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
Patrik Persson