Sciweavers

5343 search results - page 899 / 1069
» Keyword programming in java
Sort
View
DFMA
2005
IEEE
152views Multimedia» more  DFMA 2005»
16 years 2 days ago
An Agent Based Meta-Model For Urban Mobility Modeling
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
Nicolas Marilleau
ICMCS
2005
IEEE
80views Multimedia» more  ICMCS 2005»
16 years 1 days ago
Maximizing the profit for cache replacement in a transcoding proxy
Recent technology advances in multimedia communication have ushered in a new era of personal communication. Users can ubiquitously access the Internet via various mobile devices. ...
Hao-Ping Hung, Ming-Syan Chen
ISSRE
2005
IEEE
16 years 1 days ago
Prioritize Code for Testing to Improve Code Coverage of Complex Software
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...
J. Jenny Li
KBSE
2005
IEEE
16 years 22 hour ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...
PDP
2005
IEEE
16 years 20 hour ago
A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
Salvador Petit, Julio Sahuquillo, Ana Pont