2236 search results - page 384 / 448 » Language Independence and Language Tolerance in Logic Progra... |
167
Voted
TON
2012
13 years 6 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...
135
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
150
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
160
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
158
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...