1346 search results - page 227 / 270 » Alternating-time dynamic logic |
126
Voted
USENIX
2007
15 years 4 months ago
2007
Today’s Internet users and applications are placing increased demands on Internet service providers (ISPs) to deliver fine-grained, flexible route control. To assist network o...
115
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
Traditionally, clock network layout is performed after cell placement. Such methodology is facing a serious problem in nanometer IC designs where people tend to use huge clock buff...
139
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
119
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
139
click to vote
REST
2010
ACM
15 years 3 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...