Sciweavers

223 search results - page 33 / 45
» Program Comprehension in Multi-Language Systems
Sort
View
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 3 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
EUROPAR
2009
Springer
14 years 3 months ago
Steady-State for Batches of Identical Task Trees
Abstract In this paper, we focus on the problem of scheduling batches of identical task graphs on a heterogeneous platform, when the task graph consists in a tree. We rely on stead...
Sékou Diakité, Loris Marchal, Jean-M...
HICSS
2005
IEEE
140views Biometrics» more  HICSS 2005»
14 years 2 months ago
On Contamination in Information Ecosystems
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...
Bengt Carlsson, Andreas Jacobsson
CAISE
2009
Springer
14 years 3 months ago
Declarative versus Imperative Process Modeling Languages: The Issue of Understandability
Advantages and shortcomings of different process modeling languages are heavily debated, both in academia and industry, but little evidence is presented to support judgements. Wit...
Dirk Fahland, Daniel Lübke, Jan Mendling, Haj...
DCOSS
2005
Springer
14 years 2 months ago
Design and Comparison of Lightweight Group Management Strategies in EnviroSuite
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
Liqian Luo, Tarek F. Abdelzaher, Tian He, John A. ...