Sciweavers

1407 search results - page 173 / 282
» Towards Usable Analysis, Design and Modeling Tools
Sort
View
162
Voted
ICCSA
2010
Springer
15 years 11 months ago
Geospatial Analysis of Cooperative Works on Asymmetric Information Environment
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
Tetsuya Kusuda, Tetsuro Ogi
151
Voted
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
16 years 29 days ago
Multidimensional Analysis of RFID Data in Logistics
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
Henning Baars, Xuanpu Sun
AIED
2005
Springer
15 years 11 months ago
Collaboration and Cognitive Tutoring: Integration, Empirical Results, and Future Directions
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
Andreas Harrer, Bruce M. McLaren, Erin Walker, Lar...
204
Voted
FASE
2006
Springer
15 years 9 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 6 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...