4255 search results - page 531 / 851 » Database: Models, Languages, Design |
169
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
302
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
182
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
183
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
174
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...