Sciweavers

1980 search results - page 232 / 396
» Feature Flow Fields
Sort
View
CAISE
2003
Springer
15 years 7 months ago
A Specification Approach to Compose Mobile Web Services Using Service Chart Diagrams
We present our work on composing mobile Web services, denoted by M-services, in the wireless world. The wireless world has its own features that make it completely different from t...
Zakaria Maamar, Mohammed Lahkim
SAFECOMP
2000
Springer
15 years 7 months ago
Speeding-Up Fault Injection Campaigns in VHDL Models
Abstract. Simulation-based Fault Injection in VHDL descriptions is increasingly common due to the popularity of top-down design flows exploiting this language. This paper presents ...
B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reo...
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 6 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
DIGITEL
2008
IEEE
15 years 5 months ago
Adaptive Educational Games: Providing Non-invasive Personalised Learning Experiences
Educational games have the potential to provide intrinsically motivating learning experiences that immerse and engage the learner. However, the much heralded benefits of education...
Neil Peirce, Owen Conlan, Vincent Wade
CSREAEEE
2008
199views Business» more  CSREAEEE 2008»
15 years 5 months ago
Progranimate - A Web Enabled Algorithmic Problem Solving Application
- This paper proposes the use of an interactive web based problem solving application that utilises flowchart based programming and code generation to address the issues faced by n...
Andrew Scott, Mike Watkins, Duncan McPhee