1216 search results - page 166 / 244 » Hybrid type checking |
145
Voted
ETS
2002
IEEE
15 years 3 months ago
2002
IEEE
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...
183
click to vote
IJACTAICIT
2010
15 years 19 days ago
2010
The ample adoption of web services raises the challenging problem in web service discovery. Web service discovery is the process of finding appropriate services for the user defin...
127
Voted
IJNSEC
2010
14 years 10 months ago
2010
Data privacy and integrity will be the crucial and significant factors in recent times for trade which will be transacted over the Internet through e-commerce and mcommerce channe...
240
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
135
Voted
TSE
1998
15 years 3 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...