Sciweavers

2245 search results - page 179 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
ICSE
2004
IEEE-ACM
16 years 5 months ago
A Tool for Writing and Debugging Algebraic Specifications
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
Johannes Henkel, Amer Diwan
GECCO
2009
Springer
163views Optimization» more  GECCO 2009»
15 years 11 months ago
Dealing with inheritance in OO evolutionary testing
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
Javier Ferrer, J. Francisco Chicano, Enrique Alba
NETGAMES
2006
ACM
15 years 11 months ago
Count down protocol: asynchronous consistent protocol in P2P virtual ball game
This paper studies a way to improve consistency of states in a ball game typed DVE with lag, in P2P architecture. We also study how to control shared objects in real-time in a ser...
Yoshihiro Kawano, Tatsuhiro Yonekura
IFIP
2010
Springer
15 years 10 months ago
Laban Movement Analysis towards Behavior Patterns
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
Luís Santos, Jorge Dias
IEEESCC
2010
IEEE
15 years 7 months ago
An Assessment of Middleware Platforms for Accessing Remote Services
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
Young-Woo Kwon, Eli Tilevich, William R. Cook