Sciweavers

163 search results - page 18 / 33
» Framework for Decentralizing Legacy Applications
Sort
View
ICWS
2007
IEEE
13 years 9 months ago
Improving the Performance of Web Services Using Deployment-Time Binding Selection
In this paper, we present a novel deployment-time binding selection framework for Web services to improve the performance. Using the information about target environments, we dete...
Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong...
ENTCS
2007
86views more  ENTCS 2007»
13 years 7 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
ISSE
2010
13 years 6 months ago
Software model checking without source code
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
Sagar Chaki, James Ivers
ISCAPDCS
2007
13 years 9 months ago
Architectural requirements of parallel computational biology applications with explicit instruction level parallelism
—The tremendous growth in the information culture, efficient digital searches are needed to extract and identify information from huge data. The notion that evolution in silicon ...
Naeem Zafar Azeemi
ISICT
2004
13 years 9 months ago
Extending desktop applications to the web
Web applications have become the major means to allow ubiquitous access to backend systems via a web browser. Several technologies such as JSP, ASP.NET, or Java Server Faces exist ...
Arno Puder