360 search results - page 50 / 72 » Hybrid Branching-Time Logics |
ISDA
2005
IEEE
15 years 5 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
102
click to vote
ECUMN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. MPNT (Multicast Proxies NeTwork) is an overlay architecture that was first conceived to provide multicast access to unicast-only users, like TutTelNet distant students. ...
DAC
1996
ACM
15 years 4 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
102
click to vote
CHI
2011
ACM
14 years 3 months ago
2011
ACM
We introduce “Facet-Streams”, a hybrid interactive surface for co-located collaborative product search on a tabletop. Facet-Streams combines techniques of information visualiz...
109
click to vote
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...