Sciweavers

7075 search results - page 1153 / 1415
» Models and heterogeneous reasoning
Sort
View
AAAI
2000
15 years 8 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
WSC
2000
15 years 8 months ago
Circumstance descriptors: a method for generating plan modifications and fragmentary orders
Circumstance Descriptors are offered as a way to organize spatial and other military knowledge that may be difficult to formulate, particularly the kinds of details that are most ...
John B. Gilmer Jr.
ENTCS
2006
180views more  ENTCS 2006»
15 years 6 months ago
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
Fernando Rosa Velardo, Olga Marroquín Alons...
ENTCS
2006
168views more  ENTCS 2006»
15 years 6 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
BMCBI
2005
122views more  BMCBI 2005»
15 years 6 months ago
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
Katsuyuki Yugi, Yoichi Nakayama, Shigen Kojima, To...
« Prev « First page 1153 / 1415 Last » Next »