Sciweavers

3653 search results - page 616 / 731
» On Recognizable Timed Languages
Sort
View
FUIN
2008
147views more  FUIN 2008»
15 years 5 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
CORR
2006
Springer
80views Education» more  CORR 2006»
15 years 5 months ago
Mental Representations Constructed by Experts and Novices in Object-Oriented Program Comprehension
Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
Jean-Marie Burkhardt, Françoise Déti...
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 5 months ago
Navigating multilingual news collections using automatically extracted information
We are presenting a text analysis tool set that allows analysts in various fields to sieve through large collections of multilingual news items quickly and to find information that...
Ralf Steinberger, Bruno Pouliquen, Camelia Ignat
150
Voted
CAL
2007
15 years 5 months ago
Dynamic Predication of Indirect Jumps
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
José A. Joao, Onur Mutlu, Hyesoon Kim, Yale...
GRID
2006
Springer
15 years 5 months ago
Campus Grids Meet Applications: Modeling, Metascheduling and Integration
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
Yonghong Yan, Barbara M. Chapman