4008 search results - page 670 / 802 » An expressive language of signatures |
216
click to vote
HASKELL
2006
ACM
16 years 10 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
193
click to vote
PPPJ
2006
ACM
16 years 10 days ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
195
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
163
click to vote
EWSA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
168
click to vote
WIDM
2004
ACM
15 years 11 months ago
2004
ACM
The use of relational database management systems (RDBMSs) to store and query XML data has attracted considerable interest with a view to leveraging their powerful and reliable da...