620 search results - page 109 / 124 » Algorithms and computations on cellular automata |
117
Voted
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
77
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...
91
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Recent advances in technology allow multi-agent systems to be deployed in cooperation with or as a service for humans. Typically, those systems are designed assuming individually ...
144
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...