3619 search results - page 653 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
152
click to vote
CAISE
2007
Springer
15 years 9 months ago
2007
Springer
Radio frequency identification (RFID), and more recently the development of Near Field Communication (NFC) technology, have popularized the idea of linking real-world products wit...
130
click to vote
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
175
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
128
click to vote
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
129
click to vote
SSDBM
1998
IEEE
15 years 7 months ago
1998
IEEE
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...