Sciweavers

2558 search results - page 292 / 512
» Model Composition Contracts
Sort
View
MICRO
2002
IEEE
100views Hardware» more  MICRO 2002»
15 years 9 months ago
Microarchitectural exploration with Liberty
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
Manish Vachharajani, Neil Vachharajani, David A. P...
ICRE
1996
IEEE
15 years 9 months ago
A facilitator method for upstream design activities with diverse stakeholders
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
Regina M. Gonzales, Alexander L. Wolf
IJCAI
1993
15 years 6 months ago
A Scheme for Agent Collaboration in Open Multiagent Environments
In multiagent planning, an agent sometimes needs to collaborate with others to construct complex plans, or to accomplish large organizational tasks which it cannot do alone. Since...
Eiichi Osawa
ASWEC
2010
IEEE
15 years 5 months ago
Scenario-Based Validation: Beyond the User Requirements Notation
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
Dave Arnold, Jean-Pierre Corriveau, Wei Shi
123
Voted
BIOSYSTEMS
2008
72views more  BIOSYSTEMS 2008»
15 years 5 months ago
The manipulation of calcium oscillations by harnessing self-organisation
This paper investigates how self-organisation might be harnessed for the manipulation and control of calcium oscillations. Calcium signalling mechanisms are responsible for a numb...
Cristina Costa Santini, Andy M. Tyrrell