Sciweavers

76 search results - page 10 / 16
» Retrenchment and the Atomicity Pattern
Sort
View
ECOWS
2007
Springer
14 years 1 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
14 years 1 months ago
Force-controlled Microcontact Printing using Microassembled Particle Templates
— In this paper, force-controlled microcontact printing using microassembly-based particle templates is investigated. Polystyrene microparticles are assembled semi-automatically ...
Afshin Tafazzoli, Chytra Pawashe, Metin Sitti
LPNMR
2009
Springer
14 years 2 months ago
Simple Random Logic Programs
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
Gayathri Namasivayam, Miroslaw Truszczynski
OPNETEC
2004
Springer
14 years 26 days ago
Routing and Wavelength Assignment for Scheduled and Random Lightpath Demands: Bifurcated Routing versus Non-Bifurcated Routing
: We consider the routing and the wavelength assignment (RWA) of scheduled and random lightpath demands in a wavelength switching mesh network without wavelength conversion functio...
Mohamed Koubàa, Nicolas Puech, Maurice Gagn...
RV
2010
Springer
220views Hardware» more  RV 2010»
13 years 5 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu