748 search results - page 88 / 150 » A Programming Language for Web Service Development |
125
click to vote
ICLP
2005
Springer
15 years 7 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...
109
Voted
DS
2001
15 years 3 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...
117
Voted
PLDI
2010
ACM
15 years 11 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...
106
Voted
RAID
2007
Springer
15 years 8 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...
125
click to vote
INFOCOM
1998
IEEE
15 years 6 months 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...