Sciweavers

7340 search results - page 286 / 1468
» The Behavior of Tutoring Systems
Sort
View
QEST
2008
IEEE
16 years 29 days ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
COORDINATION
2005
Springer
16 years 3 days ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
SBIA
1998
Springer
15 years 10 months ago
Building Object-Agents from a Software Meta-Architecture
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
Analía Amandi, Ana Price
ECIS
2000
15 years 8 months ago
Chief Information Officer Influence: An Exploratory Study
- Effective initiation and execution of IS/T projects and systems has become a critical core competence for many organizations. One key to this is the influence of the senior execu...
Harvey G. Enns, Sid L. Huff
NORDICHI
2004
ACM
16 years 14 hour ago
Adaptivity in speech-based multilingual e-mail client
In speech interfaces users must be aware what can be done with the system – in other words, the system must provide information to help the users to know what to say. We have ad...
Esa-Pekka Salonen, Mikko Hartikainen, Markku Turun...