Sciweavers

6768 search results - page 1184 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
SIGSOFT
2007
ACM
16 years 4 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
129
Voted
VR
2009
IEEE
156views Virtual Reality» more  VR 2009»
15 years 10 months ago
A Virtual Iraq System for the Treatment of Combat-Related Posttraumatic Stress Disorder
Posttraumatic Stress Disorder (PTSD) is reported to be caused by traumatic events that are outside the range of usual human experience including (but not limited to) military comb...
Shih-Ching Yeh, Brad Newman, Matt Liewer, Jarrell ...
133
Voted
ADHOCNOW
2009
Springer
15 years 10 months ago
SenSearch: GPS and Witness Assisted Tracking for Delay Tolerant Sensor Networks
Abstract— Mobile wireless sensor networks have to be robust against the limitations of the underlying platform. While lightweight form factor makes them an attractive choice for ...
Lun Jiang, Jyh-How Huang, Ankur Kamthe, Tao Liu, I...
132
Voted
DT
2000
88views more  DT 2000»
15 years 3 months ago
Postsilicon Validation Methodology for Microprocessors
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
Hemant G. Rotithor
134
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
How internet concepts and technologies can help green and smarten the electrical grid
Several powerful forces are gathering to make fundamental and irrevocable changes to the century-old grid. The nextgeneration grid, often called the `smart grid,' will featur...
Srinivasan Keshav, Catherine Rosenberg
« Prev « First page 1184 / 1354 Last » Next »