597 search results - page 110 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
ICECCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
JSS
2008
13 years 7 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
ACSC
2007
IEEE
14 years 1 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...