20655 search results - page 3802 / 4131 » Exploring Software Systems |
189
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
176
click to vote
EUROMICRO
2003
IEEE
16 years 9 hour ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
162
click to vote
HICSS
2003
IEEE
16 years 8 hour ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
158
click to vote
HICSS
2003
IEEE
16 years 8 hour ago
2003
IEEE
In the last few years there has been much interest in the delivery of software-as-a-service. The concept of the remote delivery of software by Application Service Providers (ASPs)...
156
click to vote
HICSS
2003
IEEE
16 years 8 hour ago
2003
IEEE
The Internet can be used to solve pedagogical problems. To give an example, seminars for crowded courses exceeding a hundred participants would not be possible without web-based a...