Sciweavers

1521 search results - page 9 / 305
» On Sampled Semantics of Timed Systems
Sort
View
ICEIS
2006
IEEE
14 years 1 months ago
Client Synthesis for Web Services by Way of a Timed Semantics
Serge Haddad, Patrice Moreaux, Sylvain Rampacek
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ICSM
2007
IEEE
14 years 1 months ago
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
ICASSP
2010
IEEE
13 years 7 months ago
Improved Internet traffic analysis via optimized sampling
Applications to evaluate Internet quality-of-service and increase network security are essential to maintaining reliability and high performance in computer networks. These applic...
Sean McPherson, Antonio Ortega
TMI
2002
96views more  TMI 2002»
13 years 7 months ago
Time-Domain Reconstruction for Thermoacoustic Tomography in a Spherical Geometry
Abstract--Reconstruction-based microwave-induced thermoacoustic tomography in a spherical configuration is presented. Thermoacoustic waves from biological tissue samples excited by...
Minghua Xu, Lihong V. Wang