Sciweavers

6794 search results - page 494 / 1359
» Semantics of Visual Languages
Sort
View
POPL
2009
ACM
16 years 7 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...
GLOBECOM
2007
IEEE
16 years 1 months ago
Utilizing Semantic Tags for Policy Based Networking
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
Sethuram Balaji Kodeswaran, Olga Ratsimor, Anupam ...
POLICY
2007
Springer
16 years 1 months ago
Specifying and Enforcing High-Level Semantic Obligation Policies
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
Zhen Liu, Anand Ranganathan, Anton Riabov
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
16 years 17 days ago
Ontology Design for Video Semantic Threads
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
John R. Kender, Milind R. Naphade
ER
2005
Springer
137views Database» more  ER 2005»
16 years 14 days ago
An Approach to Broaden the Semantic Coverage of ACL Speech Acts
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
Hong Jiang, Michael N. Huhns