Sciweavers

15888 search results - page 2882 / 3178
» Supporting human-intensive systems
Sort
View
ECEASST
2008
110views more  ECEASST 2008»
15 years 4 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
134
Voted
EL
2008
166views more  EL 2008»
15 years 4 months ago
The digital library as an enterprise: the Zachman approach
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...
Abdullah Abrizah, A. N. Zainab
EOR
2008
133views more  EOR 2008»
15 years 4 months ago
Investigating a hybrid simulated annealing and local search algorithm for constrained optimization
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...
Chandra Sekhar Pedamallu, Linet Özdamar
ASE
2006
122views more  ASE 2006»
15 years 4 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
ASE
2006
148views more  ASE 2006»
15 years 4 months ago
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
Josh Dehlinger, Robyn R. Lutz
« Prev « First page 2882 / 3178 Last » Next »