2226 search results - page 290 / 446 » Pdk: The System and Its Language |
165
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
While semantic search technologies have been proven to work well in specific domains, they still have to confront two main challenges to scale up to the Web in its entirety. In th...
144
click to vote
WIKIS
2006
ACM
16 years 18 days ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
204
click to vote
WORDS
2005
IEEE
16 years 6 days ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
147
click to vote
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
146
click to vote
EWSA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...