10910 search results - page 1799 / 2182 » Input modeling using a computer algebra system |
179
click to vote
SIGECOM
2005
ACM
16 years 13 days ago
2005
ACM
In multi-hop networks, the actions taken by individual intermediate nodes are typically hidden from the communicating endpoints; all the endpoints can observe is whether or not th...
191
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
207
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
199
click to vote
LAWEB
2003
IEEE
16 years 4 days ago
2003
IEEE
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
214
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...