4126 search results - page 618 / 826 » Relationships with other Formalisms |
136
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
170
click to vote
ICIW
2008
IEEE
16 years 29 days ago
2008
IEEE
—Semantic web service composition is about finding services from a repository that are able to accomplish a specified task if executed. The task is defined in a form of a comp...
155
click to vote
INFOCOM
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—In order to improve scalability and reduce maintenance overhead for structured Peer-to-Peer systems, researchers design optimal architectures with constant degree and lo...
174
click to vote
SECURWARE
2008
IEEE
16 years 27 days ago
2008
IEEE
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have inconsistencies, allowing traffic that should be denied o...
153
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...