Sciweavers

7209 search results - page 1104 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
90
Voted
TASE
2008
IEEE
15 years 7 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
69
Voted
ICSEA
2007
IEEE
15 years 7 months ago
An Extensible Architecture for Network-Attached Device Management
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
Michael J. McMahon Jr., Sergiu M. Dascalu, Frederi...
79
Voted
ICSM
2007
IEEE
15 years 7 months ago
JTourBus: Simplifying Program Understanding by Documentation that Provides Tours Through the Source Code
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
Christopher Oezbek, Lutz Prechelt
138
Voted
ISPASS
2007
IEEE
15 years 7 months ago
An Analysis of Performance Interference Effects in Virtual Environments
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic ...
IWPC
2007
IEEE
15 years 7 months ago
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt
« Prev « First page 1104 / 1442 Last » Next »