12333 search results - page 2047 / 2467 » System Level Modelling for Hardware Software Systems |
179
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
187
click to vote
CCR
2005
15 years 6 months ago
2005
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...
185
click to vote
GI
2007
Springer
16 years 28 days ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
223
click to vote
TVCG
2008
15 years 6 months ago
2008
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
200
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...