Sciweavers

3161 search results - page 242 / 633
» Documenting framework behavior
Sort
View
190
Voted
RTCSA
2008
IEEE
16 years 1 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
KES
2004
Springer
16 years 5 days ago
Acquiring After-Sales Knowledge from Human Motions
Human motion is a key property to understand human’s knowledge and intention. A service technician moves to achieve his duty: facility maintenance. The series of his motions is t...
Satoshi Hori, Kota Hirose, Hirokazu Taki
LOBJET
2008
104views more  LOBJET 2008»
15 years 6 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
ACL
2012
13 years 9 months ago
Self-Disclosure and Relationship Strength in Twitter Conversations
In social psychology, it is generally accepted that one discloses more of his/her personal information to someone in a strong relationship. We present a computational framework fo...
JinYeong Bak, Suin Kim, Alice H. Oh
WWW
2008
ACM
16 years 7 months ago
Mining the search trails of surfing crowds: identifying relevant websites from user activity
The paper proposes identifying relevant information sources from the history of combined searching and browsing behavior of many Web users. While it has been previously shown that...
Mikhail Bilenko, Ryen W. White