Sciweavers

3872 search results - page 402 / 775
» The Java memory model
Sort
View
WSC
2008
15 years 7 months ago
A Pi-calculus formalism for discrete event simulation
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
Jianrui Wang, Richard A. Wysk
ATAL
2008
Springer
15 years 6 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
SOMET
2007
15 years 6 months ago
Automated Design Improvement by Example
The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have const...
Mark O'Keeffe, Mel Ó Cinnéide
ICWE
2010
Springer
15 years 2 months ago
Script Programmers as Value Co-creators
Website owners are gradually realising the benets of viewing customers as co-creators of value. Unfortunately, current development models oer little help in understanding and manag...
Cristóbal Arellano, Oscar Díaz, Jon ...
EMSOFT
2007
Springer
15 years 11 months ago
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
Jiwon Hahn, Pai H. Chou