Sciweavers

2131 search results - page 118 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
COMPSAC
2002
IEEE
15 years 2 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
PEPM
1993
ACM
15 years 2 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
IJCIS
2006
161views more  IJCIS 2006»
14 years 10 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso
AIEDU
2006
115views more  AIEDU 2006»
14 years 10 months ago
CycleTalk: Data Driven Design of Support for Simulation Based Learning
In this article, we discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a simulation based exploratory learning environment called Cy...
Carolyn Penstein Rosé, Rohit Kumar, Vincent...
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 4 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt