Sciweavers

3595 search results - page 181 / 719
» Roles of Program Extension
Sort
View
SERP
2003
15 years 6 months ago
A Portable and Collaborative Distributed Programming Environment
Due to recent advances in network and computing facilities, use of the Internet is becoming popular and promising in various areas such as scientific collaboration, information di...
Chang-Hyun Jo, Allen J. Arnold
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 5 months ago
Similarity-based Reasoning in Qualified Logic Programming
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
Rafael Caballero, Mario Rodríguez-Artalejo,...
150
Voted
ENTCS
2008
170views more  ENTCS 2008»
15 years 5 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
177
Voted
JOT
2007
123views more  JOT 2007»
15 years 4 months ago
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
Philippe Massicotte, Linda Badri, Mourad Badri
AAMAS
2002
Springer
15 years 4 months ago
A Scheduling Scheme for Controlling Allocation of CPU Resources for Mobile Programs
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support eff...
Manoj Lal, Raju Pandey