Sciweavers

3498 search results - page 30 / 700
» Role Model Based Framework Design and Integration
Sort
View
129
Voted
GCC
2003
Springer
15 years 8 months ago
A Framework of Tool Integration for Internet-Based E-commerce
Tool integration has been an important research area for many years after software engineering became a key player in information industry. With the Internet establishing ubiquitou...
Jianming Yong, Yun Yang
126
Voted
DATE
2007
IEEE
165views Hardware» more  DATE 2007»
15 years 10 months ago
Boosting the role of inductive invariants in model checking
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
CANDT
2009
15 years 7 months ago
Experiential role of artefacts in cooperative design
The role of material artefacts in supporting distributed and colocated work practices has been well acknowledged within HCI and CSCW research. In this paper, we show that in addit...
Dhaval Vyas, Dirk Heylen, Anton Nijholt, Gerrit C....
158
Voted
IC3
2009
15 years 1 months ago
Multi-scale Modeling and Analysis of Nano-RFID Systems on HPC Setup
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...
Rohit Pathak, Satyadhar Joshi
145
Voted
AIED
2007
Springer
15 years 7 months ago
Novel Tools for Assessing Student Discussions: Modeling threads and participant roles using speech act and course topic analysis
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
Jihie Kim, Erin Shaw, Grace Chern, Roshan Herbert