748 search results - page 88 / 150 » A Programming Language for Web Service Development |
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
DS
2001
13 years 9 months ago
2001
The rapid development of the Internet and of distributed computing has led to a proliferation of online service providers such as digital libraries, web information sources, electr...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
RAID
2007
Springer
14 years 2 months ago
2007
Springer
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
INFOCOM
1998
IEEE
14 years 10 days ago
1998
IEEE
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...