193 search results - page 26 / 39 » Modeling Environment for Component Model Checking from Hiera... |
129
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
97
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
93
Voted
WSC
1998
15 years 1 months ago
1998
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
IJCAI
1997
15 years 1 months ago
1997
Psychological experiments on children's development of spatial knowledge suggest experience at self-locomotion with visual tracking as important factors. Yet, the mechanism u...
85
Voted
SWAP
2008
15 years 1 months ago
2008
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...