3400 search results - page 218 / 680 » tools 2008 |
169
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
178
click to vote
WS
2008
ACM
15 years 6 months ago
2008
ACM
The World Wide Web (WWW) can be seen as an ideal platform for enhancing argumentative expression and communication, due to its ubiquity and openness. Much argumentation takes plac...
213
click to vote
COMCOM
2007
15 years 6 months ago
2007
— Voice over IP (VoIP) services based on the Session Initiation Protocol (SIP) gain ground as compared to other protocols like MGCP or H.323. However, the open SIP architecture c...
186
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
188
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The tree-based languages XQuery and XSLT for XML are widely supported. Many tools do not yet support the new RDF graph query language SPARQL. We propose to embed SPARQL subqueries...