Sciweavers

7103 search results - page 879 / 1421
» Program Generation and Components
Sort
View
SAC
2005
ACM
16 years 7 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
SIGCSE
2005
ACM
133views Education» more  SIGCSE 2005»
16 years 7 days ago
Designing, implementing, and analyzing a placement test for introductory CS courses
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen N...
173
Voted
CD
2005
Springer
16 years 7 days ago
A Decentralized Redeployment Algorithm for Improving the Availability of Distributed Systems
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic
PPSWR
2005
Springer
16 years 5 days ago
Computational Treatment of Temporal Notions: The CTTN-System
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
Hans Jürgen Ohlbach
SOCO
2005
Springer
16 years 5 days ago
Stateful Aspects in JAsCo
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
Wim Vanderperren, Davy Suvée, María ...