Sciweavers

605 search results - page 89 / 121
» The role of software processes and communication in offshore...
Sort
View
FOSSACS
2009
Springer
14 years 3 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
ISSRE
2005
IEEE
14 years 2 months ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
IFIP3
1998
106views Education» more  IFIP3 1998»
13 years 10 months ago
Conception and Realization of the Offline Navigator in the Virtual University
The concept of the Virtual University offers a new learning environment for distance education. All the functionalities of a conventional university are available to the students ...
Thomas Demuth, Andreas Rieke, Dagmar Sommer
HICSS
2003
IEEE
121views Biometrics» more  HICSS 2003»
14 years 1 months ago
MOBICHARTS: A Notation to Specify Mobile Computing Applications
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyam...
IUI
2010
ACM
14 years 5 months ago
Aspect-level news browsing: understanding news events from multiple viewpoints
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
Souneil Park, Sang Jeong Lee, Junehwa Song