1941 search results - page 243 / 389 » Reasoning about Computations Using Two-Levels of Logic |
137
click to vote
SEC
2004
15 years 5 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
116
Voted
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
169
Voted
TMC
2012
13 years 6 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
144
click to vote
ENTCS
2008
15 years 3 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
169
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...