Sciweavers

97 search results - page 3 / 20
» A Uniform Approach for Specification and Design of Interacti...
Sort
View
ATAL
1997
Springer
13 years 10 months ago
Toward the Specification and Design of Industrial Synthetic Ecosystems
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
H. Van Dyke Parunak, John A. Sauter, Steve Clark
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
13 years 10 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
SOFSEM
2007
Springer
14 years 1 days ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
BMCBI
2006
110views more  BMCBI 2006»
13 years 6 months ago
Design of a combinatorial DNA microarray for protein-DNA interaction studies
Background: Discovery of precise specificity of transcription factors is an important step on the way to understanding the complex mechanisms of gene regulation in eukaryotes. Rec...
Julian Mintseris, Michael B. Eisen
AIPS
2006
13 years 7 months ago
Evaluating Mixed-Initiative Systems: An Experimental Approach
Mixed-Initiative approaches to Planning and Scheduling are being applied in different real world domains. While several recent successful examples of such tools encourage a wider ...
Gabriella Cortellessa, Amedeo Cesta