1346 search results - page 211 / 270 » Alternating-time dynamic logic |
186
click to vote
RTCSA
2008
IEEE
16 years 14 days ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
156
click to vote
WETICE
2008
IEEE
16 years 13 days ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
205
click to vote
AB
2008
Springer
16 years 13 days ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...
145
Voted
ACSC
2007
IEEE
16 years 13 days ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
148
click to vote
CEC
2007
IEEE
16 years 12 days ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...