Sciweavers

1610 search results - page 274 / 322
» Communication Metrics for Software Development
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 9 months ago
Integrating OPC Data into GSN Infrastructures
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
Olivier Passalacqua, Eric Benoit, Marc-Philippe Hu...
IIE
2008
145views more  IIE 2008»
13 years 9 months ago
Students Learning Experience in the Integrated Information Literacy Course Constructed in Virtual Learning Environment
Abstract. The paper examines the impact of ICT on students learning experiences and opportunities offered by virtual learning environment as an integral part of traditional learnin...
Vilhelmina Vaiciuniene, Genute Gedviliene
FUIN
2006
96views more  FUIN 2006»
13 years 9 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
MMS
2006
13 years 9 months ago
A Generic Agent-based Peer-to-Peer Infrastructure for Social-mobile Applications
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
Steffen Kern, Torsten Dettborn, Ronny Eckhaus, Yan...
IPL
2010
94views more  IPL 2010»
13 years 7 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...