Sciweavers

9974 search results - page 122 / 1995
» Software Interconnection Models
Sort
View
ATAL
2007
Springer
15 years 8 months ago
The IEEE FIPA approach to integrating software agents and web services
In many settings Web services are now perceived as the first choice technology to provide neatly encapsulated functionality for Web-based computation. To date, many standards hav...
Dominic Greenwood, Margaret Lyell, Ashok U. Mallya...
DATE
2003
IEEE
101views Hardware» more  DATE 2003»
15 years 7 months ago
On Modeling Cross-Talk Faults
Circuit marginality failures in high performance VLSI circuits are projected to increase due to shrinking process geometries and high frequency design techniques. Capacitive cross...
Sujit T. Zachariah, Yi-Shing Chang, Sandip Kundu, ...
114
Voted
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
15 years 5 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
98
Voted
WSC
1996
15 years 3 months ago
Modeling issues in a shipping system
We describe the application of simulation and statistical analyses to the improvement of a shipping and distribution system supporting a component-fabrication plant and two automo...
Edward J. Williams, Susan Khoubyari
153
Voted
ECRTS
2005
IEEE
15 years 7 months ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...