Sciweavers

266 search results - page 40 / 54
» Sketching and Drawing in the Design of Open Source Software
Sort
View
SEFM
2007
IEEE
15 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
CAISE
2005
Springer
15 years 3 months ago
Dynamic AOP with PROSE
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
Angela Nicoara, Gustavo Alonso
INFORMATICALT
2007
101views more  INFORMATICALT 2007»
14 years 9 months ago
Internationalization of Compilers
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
Valentina Dagiene, Rimgaudas Laucius
ELPUB
2007
ACM
15 years 1 months ago
Challenges in the Selection, Design and Implementation of an Online Submission and Peer Review System for STM Journals
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
Judy Best, Richard Akerman
HCI
2001
14 years 10 months ago
Bringing gaze-based interaction back to basics
This paper argues for a joint development of an eye gaze -based, on-line communication aid running on a standard PC with a web -camera. Tracking software is to be provided as open...
John Paulin Hansen, Dan Witzner Hansen, Anders Sew...