1525 search results - page 229 / 305 » Formal Models for Communication-Based Design |
124
Voted
CONSTRAINTS
2002
15 years 15 days ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
121
click to vote
NGC
1998
Springer
15 years 10 days ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
117
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
110
Voted
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
133
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...