Sciweavers

3516 search results - page 314 / 704
» Programming Languages: Application and Interpretation
Sort
View
318
Voted
CP
2009
Springer
16 years 8 months ago
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Ni...
196
Voted
IFIP
2003
Springer
16 years 19 days ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
128
Voted
IADIS
2004
15 years 8 months ago
Deployment of ICT application in rural India - our experience
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
Sree Kumar R., Neelanarayanan Venkataraman, Balaji...
216
Voted
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
15 years 9 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
197
Voted
IC
2004
15 years 8 months ago
Mobile Agents: A Construction Kit for Mobile Device Applications
Abstract-- Mobile Agents are a well-known programming paradigm nowadays. There is a multitude of research concerning Mobile Agent Systems with emphasize on agent coordination, agen...
Michael Friedrich, Kirsten Terfloth, Gerd Nusser, ...