Sciweavers

2324 search results - page 367 / 465
» Specifying interaction surfaces using interaction maps
Sort
View
143
Voted
HICSS
2008
IEEE
126views Biometrics» more  HICSS 2008»
15 years 10 months ago
An Empirical Investigation of Knowledge Creation in Electronic Networks of Practice: Social Capital and Theory of Planned Behavi
How to achieve knowledge creation effectively remains a problem, this becomes even more difficult in a loosely knitted community such as networks of practice. This is because know...
Shih-Wei Chou, Yu-Chieh Chang
MODELS
2007
Springer
15 years 9 months ago
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
Cécile Hardebolle, Frédéric B...
122
Voted
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
15 years 9 months ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
114
Voted
KBSE
2006
IEEE
15 years 9 months ago
Effective Generation of Interface Robustness Properties for Static Analysis
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 9 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong