Sciweavers

3379 search results - page 460 / 676
» Combinators for Interaction Nets
Sort
View
ICALT
2009
IEEE
15 years 10 months ago
A General Architecture for the Integration of Educational Videogames in Standards-compliant Virtual Learning Environments
Although Virtual Learning Environments have become popular educational tools, they remain a very active research topic. Two important aspects being discussed for next-generation V...
Ángel del Blanco, Javier Torrente, Pablo Mo...
AIPR
2004
IEEE
15 years 10 months ago
Embedded Reading Device for Blind People: A User-Centred Design
A handheld PDA-based system is being developed to help blind people in their daily tasks. The design combines in a continuous process Users' involvement and Engineers' e...
Jean-Pierre Peters, Céline Thillou, Silvio ...
178
Voted
EDO
2006
Springer
15 years 10 months ago
Service communities: applications and middleware
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
Stefan Tai, Nirmit Desai, Pietro Mazzoleni
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
JMLC
2000
Springer
15 years 10 months ago
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
Peter H. Fröhlich, Michael Franz