Sciweavers

2206 search results - page 125 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
ICCS
2001
Springer
15 years 10 months ago
High-Performance Algorithm Engineering for Computational Phylogenetics
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
Bernard M. E. Moret, David A. Bader, Tandy Warnow
CBSE
2010
Springer
15 years 11 months ago
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
Frédéric Loiret, Lionel Seinturier, ...
ISCI
2007
95views more  ISCI 2007»
15 years 6 months ago
Software project management with GAs
A Project Scheduling Problem consists in deciding who does what during the software project lifetime. This is a capital issue in the practice of software engineering, since the to...
Enrique Alba, J. Francisco Chicano
FSTTCS
2006
Springer
15 years 10 months ago
On Decidability of LTL Model Checking for Process Rewrite Systems
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
Laura Bozzelli, Mojmír Kretínsk&yacu...
ECIS
2003
15 years 7 months ago
Finding a home for web-based information systems - perusing the landscape
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
Chris Barry, Jeremy Brown