Sciweavers

3054 search results - page 360 / 611
» An fMRI Activation Method Using Complex Data
Sort
View
FMICS
2010
Springer
14 years 11 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
WSC
2008
15 years 1 months ago
Service-Oriented-Architecture based framework for multi-user virtual environments
Service-Oriented Architecture (SOA) is an application framework used for creating complex enterprise systems by integrating distributed services. The SOA standards are primarily f...
Xiaoyu Zhang, Denis Gracanin
IV
2002
IEEE
114views Visualization» more  IV 2002»
15 years 4 months ago
Tudumi: Information Visualization System for Monitoring and Auditing Computer Logs
Computer security breaches are already a major problem in using computers. The most basic defense against it is to monitor and audit the computer logs. Computer logs, however, hav...
Tetsuji Takada, Hideki Koike
KBSE
2000
IEEE
15 years 3 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews
EDM
2008
169views Data Mining» more  EDM 2008»
15 years 14 days ago
Mining Student Behavior Models in Learning-by-Teaching Environments
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
Hogyeong Jeong, Gautam Biswas