Sciweavers

454 search results - page 82 / 91
» Modeling and analysis of multi-agent systems using petri net...
Sort
View
96
Voted
FMSB
2008
129views Formal Methods» more  FMSB 2008»
14 years 11 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
OOPSLA
2004
Springer
15 years 2 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
DSN
2002
IEEE
15 years 2 months ago
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Le...
MMS
2000
14 years 9 months ago
Dynamic Quota-Based Admission Control with Sub-Rating in Multimedia Servers
An admission control algorithm for a multimedia server is responsible for determining if a new request can be accepted without violating the Quality of Service (QoS) requirements o...
Sheng-Tzong Cheng, Chi-Ming Chen, Ing-Ray Chen
DATE
2000
IEEE
88views Hardware» more  DATE 2000»
15 years 1 months ago
Techniques for Reducing Read Latency of Core Bus Wrappers
Today’s system-on-a-chip designs consist of many cores. To enable cores to be easily integrated into different systems, many propose creating cores with their internal logic sep...
Roman L. Lysecky, Frank Vahid, Tony Givargis